共享合成Petri网系统的语言递归性与系统活性

作     者：蒲飞 陆维明 宋文 

作者机构：中国科学院数学与系统科学研究院数学研究所计算机科学室 西华大学计算机科学与工程系四川成都610039 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2004年第15卷第3期

页      面：317-326页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金~~ 

主　　题：共享合成 语言递归性 并发语言 路径并发合成 Petri网系统 系统活性 

摘      要：在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性,得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的.