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

Reversibility Preservation in Synchronous Synthesis of Petri Net Systems

作　　者：蒲飞[1] 陆维明[2] 

机构地区：[1]中国科学院软件研究所计算机科学重点实验室,北京100080 [2]中国科学院数学与系统科学研究院数学研究所,北京100080

出　　处：《系统工程理论与实践》2005年第10期83-94,共12页Systems Engineering-Theory & Practice

基　　金：中国科学院管理;决策与信息系开放实验室基金;国家自然科学基金(60473007)

摘　　要：着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性.Petri net systems synthesis can construct large systems without the requirement of teachability 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 reversibihty 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 sufi3cient 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.

关 键 词：同步合成 可回复性的保持性 并发语言 最小可回复路径 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]