摘要
Petri网是一种系统描述和分析的工具 .Petri网组合是由小系统的性质获得大系统性质的一种有效的分析方法 .本文提出了 Petri网的组合积运算 ,包括 Petri网的 型组合积运算和 型组合积运算、Petri网的并积运算 ,讨论了保持网的结构性质的条件 。
Petri net is a tool for system description and analysis. Composition of Petri nets is an efficient analysis method from the properties of small systems to those of large systems. Composition product nets of Petri nets are proposed in this paper. Two kinds of composition product operations and union product operation are discussed. The condition for reserving structural properties of Petri net after composition are given. These results provide new methods for synthesis and analysis of Petri nets.
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第1期98-100,共3页
Journal of Chinese Computer Systems
基金
山东省自然科学基金资助课题
