同步合成Petri网系统可回复性的保持性
Reversibility Preservation in Synchronous Synthesis of Petri Net Systems作者机构：中国科学院软件研究所计算机科学重点实验室北京100080 中国科学院数学与系统科学研究院数学研究所北京100080
出 版 物：《系统工程理论与实践》 (Systems Engineering-Theory & Practice)
年 卷 期：2005年第25卷第10期
页 面：83-94页
核心收录：
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：中国科学院管理 决策与信息系开放实验室基金 国家自然科学基金(60473007)
主 题：同步合成 可回复性的保持性 并发语言 最小可回复路径
摘 要：着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性.
维普期刊数据库
同方期刊数据库