同步合成Petri 网系统可回复性的保持性

着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性.

Reversibility Preservation in Synchronous Synthesis of Petri Net Systems

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.