摘要
Petri网具有动态、并发和图形直观性等良好特性,特别适合于描述异步并发的系统.Petri网运算是由小系统的性质获得大系统性质的一种有效的分析方法.提出了Petri网的块组合积运算,讨论了保持网的结构性质的条件,为Petri网的分析与综合提供了新途径.
Block Composition Product (BCP) operations 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 synthesis and analysis of Petri nets.
出处
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2004年第S1期158-160,共3页
Journal of Shaanxi Normal University：Natural Science Edition
基金
天津市教委科研基金资助项目
天津科技大学科研基金资助项目
