摘要
着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性.
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.
出处
《系统工程理论与实践》
EI
CSCD
北大核心
2005年第10期83-94,共12页
Systems Engineering-Theory & Practice
基金
中国科学院管理
决策与信息系开放实验室基金
国家自然科学基金(60473007)
关键词
同步合成
可回复性的保持性
并发语言
最小可回复路径
synchronous synthesis process
reversibility preservation
concurrent language
minimal reversible paths
concurrent composition of paths