Petri网系统合成操作的活性保持性研究
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题.本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作.与以往研究不同,侧重从并发语言的角度讨论.定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式.这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件.最后分别给出条件使得合成的Petri网系统有活性保持性质.
合成操作 活性保持性 并发语言 递归 Petri网 系统建模
蒲飞 陆维明
中国科学院数学与系统科学研究院,数学研究所,计算机科学研究室(北京)
国内会议
杭州
中文
17-25
2003-09-01（万方平台首次上网日期，不代表论文的发表时间）