petri网共享t型子网合成结构性质分析及其应用

为了解决系统设计中的子系统共享问题，提出了经由petri网共享t-型子网构成共享t-型子网合成网的解决方案；研究了共享t-型子网合成网的结构性质，提出了共享t-型子网合成网保持结构有界性、守恒性、可重复性、相容性、p-不变量、t-不变量、公平性和结构活性的充分条件或充要条件；特别在证明结构活性保持性的过程中，体现了petri网层次化的描述方法。本文的结果可为petri网系统合成性质的考察提供有效途径，为复杂大系统的分析提供重要手段，并特别适合于一类系统的设计和分析，具有一定的实用价值。