%0 Journal Article
%T 同步合成petri网系统活性与无死锁性的保持性
%A 蒲飞？
%A 陆维明？
%J 软件学报
%P 1977-1988
%D 2003
%X 合成操作是petri网系统建模中一种重要的自底向上建模方法,而在petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成petri网系统的活性与无死锁性,同时给出了同步合成petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成petri网系统有活与无死锁的保持性质.
%K 同步合成操作
%K 活性与无死锁性的保持性
%K 并发语言
%K 同步路径
%K 路径并发合成
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20031201&flag=1