Reversibility Preservation in Synchronous Synthesis of Petri Net Systems
同步合成Petri 网系统可回复性的保持性

Petri net systems synthesis can construct large systems without the requirement of reachability analysis.In a synthesis process,certain good properties of local systems such as reversibility,liveness,deadlock-frteeness and so forth must be preserved for global system.This paper focus the reversibility preservation in a synchronous synthesis process.The systems dynamic,concurrent behavior i.e.concurrent language relation in a synchronous synthesis process is discussed.A new approach is presented which is based on the minimal reversible paths and their concurrent composition.Furthermore,a criterion which is necessary and sufficient for the reversibility of the resultant system is developed. In addition,conditions under which reversibility preservation for the synchronous synthesis of Petri net systems are proposed.Finally,some examples are given,illustrating the effectiveness of the proposed approach in modeling and analyzing of large system.