一种Petri网合成方法及其在系统建模中的应用

A Method of Petri Net Synthesis and Its Application in System Modeling

针对多个企业共用一个加工厂生产某种产品等这一类系统问题,提出了经由Petri网共享一种子网构成合成网的解决方案;用Petri网为系统建模,先为各企业租用加工厂生产某种产品的系统建立各自的Petri网模型,然后进行共享子网合成得到系统的整体Petri网模型。运用这种整体Petri网模型,可达到同步操作和节省资源的目的。给出了自由选择网(FC){非对称选择网(AC)}的共享子网合成网仍为自由选择网(FC){非对称选择网(AC)}的条件和共享子网合成Petri网保持结构活性的条件;结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统建模提供有利手段,具有宽广的应用前景。

A scheme was obtained using synthesis of Petri nets sharing a kind of subnet, according to process of several enterprises sharing a plant to produce some product. First, the Petri net model of single enterprise in sharing a plant to produce some product was set up. Second, the global Petri net model was obtained through using shared subnet synthesis method. Using the global Petri net model can actualize synchronization and save resources. Several conditions were proposed that the synthesis net of free choice nets （FC）{asymmetric choice nets （AC）} is a FC net{AC net}. Some conditions of the structural liveness preservation by the shared subnet synthesis of Petri nets were obtained. These results are useful for studying the properties of Petri synthesis nets and establishing models for large complex system and practical to use in reality.