关键词: 面向对象, Petri网, 设备采购系统, 可覆盖性树, 关联矩阵

Abstract:

The Traditional equipment purchasing system can not be reorganized according to the changes of external environment, so a workflowing model of equipment procurement system which is based on objectoriented Petri Nets is proposed. This model can package the internal structure of each object to avoid the mutual definition interference between places and transitions． It also has the characteristics of modularization，graphization and structurization, which improves the reusability and extendibility of the equipment purchasing system. Taking an example of the OOPN model of the examination and approval department, its incidence matrix, coverability tree and the Pinvariant are figured out and their relativities are analyzed, which proves that the constructed model has good performance and satisfies the requirement of the system changes and reorganization.

Key words: objectoriented;Petri nets;equipment procurement system;coverability tree；incidence matrix