@article{Kharitonov_Tarasov_Golenkov_2017，title={用Petri网结构化对象建模面向对象程序}，volume={36}，url={https://www.cai.sk/ojs/index.php/cai/article/view/2017_5_1063}，摘要注释={本文提出了一种用多标记Petri网构建面向对象程序模型的方法。只考虑了封装（面向对象范式的三个概念之一）。为了对封装的不同方面进行建模，提出了Petri网结构化对象。它由定义其行为的Petri网组成ior和一组指定其结构属性的有组织的访问点。介绍了从方法、类、对象、函数和模块的模型构造程序模型的形式化组合操作，并提出了一种将源代码转换为Petri网表示的算法。本文的一个特殊部分详细考虑了一个真实的面向对象程序（OOP）的模型构建过程。给出了程序的源代码、用Petri网对象建模程序不同元素的图形以及程序的结果模型。}，数字={5}，期刊={计算与信息}，作者={Kharitonov，Dmitriy AND Tarasov，George AND Golenkov，Evgeniy}，年份={2017年}，月份={12月}，页数={1063–1087}}