摘要
针对Petri网两种合成操作(共享合成、同步合成),采用组合原Petri网不变量生成合成Petri网不变量的方法,研究了合成Petri网P不变量的变化规律。对于同步合成Petri网,当原Petri网邻接矩阵的秩不超过各自转移数与共享转移数的差时,合成网的P不变量可以用原网P不变量的线性组合表示。对于共享合成Petri网,网的P不变量的位置投影是原网的P不变量;当原Petri网的P不变量线性相关时,可用其线性组合表示合成网的P不变量。
To model complex systems using Petri net, Petri net synthesis is an important approach. The invariants of Petri net are useful in analyzing the structural properties of Petri net. The property of the P-invariant of composite Petri nets denoted by the combination of P-invariants of the original Petri nets is studied. Aiming at two kinds of synthesis process-shared synthesis process and synchronization synthesis process, the evolutive rules of P invariant is analyzed. For synchronization synthesis process, the P-invariants of composite Petri nets could he the linear combination of the P-invariants of the original Petri nets when the rank of the adjacency of each original Petri net is little than the difference of the number of the whole transitions and the number of the mutual transitions. For shared synthesis process, the projections of the P-invariants of the composite Petri nets are the P-invariants of the original Petri nets. When the P invariants of the original Petri nets are linear correlation, the linear combination of them are the P-invariants of the composite Petri nets.
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2007年第8期1349-1352,共4页
Systems Engineering and Electronics
基金
国家自然科学基金资助课题(70601036)
