非对称选择网类共享子网合成及其在系统建模中的应用

计算机科学 ›› 2007, Vol. 34 ›› Issue (6): 274-278.

• 软件工程与数据库技术 • 上一篇下一篇

非对称选择网类共享子网合成及其在系统建模中的应用

出版日期:2018-11-16 发布日期:2018-11-16

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构有界性和结构活性的充分条件或充要条件。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的建模和分析,具有一定的实用价值。

关键词: Petri网合成结构活性结构有界性系统建模

Abstract: A scheme is obtained using synthesis of asymmetric choice nets shareda kind of subnet,in order to solve subsystem-shared problem in system modeling. The properties of synthesis Petri nets are studied. The sufficient conditions or sufficient and necessary

Key words: Petri nets,Synthesis,Structural liveness,Structural boundedness,System modeling

. 非对称选择网类共享子网合成及其在系统建模中的应用[J]. 计算机科学, 2007, 34(6): 274-278. https://doi.org/