共享合成Petri网系统的活性保持性
Sharing Synthesis of Petri Net Systems via Preserving Liveness作者机构：中国科学院软件所计算机科学重点实验室北京100080 中国科学院数学与系统科学研究院数学所北京100080
出 版 物：《系统工程理论与实践》 (Systems Engineering-Theory & Practice)
年 卷 期：2005年第25卷第11期
页 面：70-78页
核心收录：
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：中国科学院管理 决策与信息系统开放实验室基金资助 国家自然科学基金(60473007)
主 题：共享合成 路径的并发合成 并发语言 活性保持性 良径
摘 要：讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.
维普期刊数据库
同方期刊数据库