同步合成Petri网系统活性与无死锁性的保持性

• 作者: 蒲飞 陆维明
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 同步合成操作 活性与无死锁性的保持性 并发语言 同步路径 路径并发合成
• 年，卷（期）: 2003,（12）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 1977-1988
• 页数: 12页
• 分类号: TP301
• 字数: 14475字
• 语种: 中文

摘要

合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成Petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成Petri网系统有活与无死锁的保持性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆维明		2	39	2.0	2.0
2	蒲飞		1	36	1.0	1.0