基于分解子网的Petri网不变量的分析

Invariance Analysis of Petri Nets Based on Decomposed Subnets

分析系统性能时,Petri网不变量具有重要意义。为了减小求解的计算复杂性,基于Petri网的分解,并利用关联矩阵的构成特点,分析总网和分解后子网的不变量之间的关系。对分解后的子网为一般Petri网,采用的连接为自环连接和同步连接的情形,得到了总网P/T-不变量可对分解保持的一些充分、必要或充要条件。

P/T - invariances are important for the performance analysis in Petri nets. In order to reduce thecomputational complexity, the paper provides a new analytical and computational method to analyze the relation of the invariances between the global net and the composed subnets, based on the decomposition of the global net and using the structure characteristics of the incidence matrix. The composed nets are general Petri nets and links are taken as self- loop links and synchronized links. Some sufficient or/and necessary conditions are given for the P/T -invariances of the global net according to those of subnets with self -loop links or synchronize links.