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

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