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