论文部分内容阅读
在面向对象Petri网建模的基础上，在对象内部引入了一个特殊的变迁——控制变迁，在各对象之间引入了控制器，提出了一种基于控制结构的面向对象Petri网（CS-OOPN）模型，并阐述了CS-OOPN建模的步骤。该模型克服了传统的面向对象Petri网建模缺乏流程柔性和系统灵活性的缺点，能更加直观、灵活地描述工作流程。最后通过利用该模型为某集团公司设备采购管理系统建模，以审批部门的CS-OOPN模型为例，求其关联矩阵、可覆盖性树和P不变量，并进行相关性分析，结果表明了CS-OOPN的有效性和强大的建模能力。