摘要
Petri网运算或组合是合成复杂系统的有效方法 ,由此提出了Petri网的两类广义组合并网 ,讨论了保持网的可重复性、相容性、有界性和守恒性的条件 。
Two general composition union nets of Petri nets are proposed in this paper.The condition for reserving structural properties of Petri net after composition is discussed.These results provide new methods for analysis of large system with Petri nets.
出处
《同济大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2001年第7期822-825,共4页
Journal of Tongji University:Natural Science
基金
山东省自然科学基金资助项目 (Y97G0 810 8)