同步及共享合成操作对Petri网汇合性质的保持性

Confluence Preservation of Petri Nets by Synchronous and Sharing Synthesis

若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有紧密的联系,因此对Petri网汇合性质的研究就显得更加重要了。组合化设计思想是复杂系统建模的一种有效途径,Petri网的组合化研究也甚为人们重视,其中同步与共享合成操作是结构复杂Petri网系统分析的两种有效手段。我们首先分析了Petri网的汇合性质,然后分别讨论了同步合成与共享合成操作对汇合性质的保持问题,并得出了若干结论。

If for any two reachable marking of a Petri net there is a marking reachable from both of them, we call the Petri net have confluence property, This property proved to be of great importance when we are dealing with the set of reachable markings and home marking of a Petri net, There is a very close relationship between confluence for rewriting systems and confluence for Petri nets. So the research of confluence property for Petri nets appears very important. Compositional design idea is an effective method to model complex systems, and we attach importance to the research of Petri nets＇ composition. Synchronous and Sharing Synthesis are two effective methods to analyse structure-complex Petri nets. In this paper, we analyse the confluence property of Petri nets firstly, then we discuss the preservation problems for confluence property in synchronous and sharing synthesis of Petri net systems, and we propose some conclusions.