文献类型：期刊文章

作　　者：蒲飞[1] 陆维明[1] 宋文[2]

机构地区：[1]中国科学院数学与系统科学研究院数学研究所计算机科学室 [2]西华大学计算机科学与工程系,四川成都610039

出　　处：《软件学报》

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

年　　份：2004

卷　　号：15

期　　号：3

起止页码：317-326

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：2004278252553)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

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

关 键 词：共享合成 语言递归性  并发语言 路径并发合成  PETRI网系统 系统活性

分 类 号：TP393.0]