-
题名共享合成Petri网系统的语言递归性与系统活性
被引量：10
- 1
-
-
作者
蒲飞
陆维明
宋文
-
机构
中国科学院数学与系统科学研究院数学研究所计算机科学室
西华大学计算机科学与工程系
-
出处
《软件学报》
EI
CSCD
北大核心
2004年第3期317-326,共10页
-
基金
国家自然科学基金~~
-
文摘
在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性,得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的.
-
关键词
共享合成
语言递归性
并发语言
路径并发合成
PETRI网系统
系统活性
-
Keywords
Concurrent engineering
Formal languages
Recursive functions
Software engineering
-
分类号
TP393.0
[自动化与计算机技术—计算机应用技术]
-
