论文部分内容阅读
传统的设备采购系统不能随外界环境的变化而进行相应的重组.为此,本文提出了一种基于面向对象Petri网的设备采购系统的工作流模型.该模型将各个对象的内部结构进行封装,避免了相互之间的库所与变迁的定义干涉.模型具有模块化、图形化、结构化的特性,提高了设备采购系统的可重用性和可扩展性.以审批部门的OOPN模型为例,求其关联矩阵、可覆盖性树和P不变量,并进行相关性分析,证明了构建的模型具有良好的性能并满足系统变化和重组的要求.