文献类型：期刊文章

作　　者：曾庆田[1,2,3]

机构地区：[1]中国科学院计算技术研究所 [2]山东科技大学计算机科学与技术系,山东泰安271019 [3]中国科学院研究生院,北京100039

出　　处：《软件学报》

基　　金：国家自然科学基金;山东省优秀青年科学家奖励基金~~

年　　份：2004

卷　　号：15

期　　号：3

起止页码：327-337

语　　种：中文

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

摘　　要：首先分析了一类结构简单的Petri网--S-网的语言性质,得到了它们的行为描述方法.拓展了Petri网同步合成的概念,证明了给定一个结构复杂的Petri网都可通过一组S-网的同步合成运算而得到,并给出了相应的求解算法.引入语言的同步交运算,分析了结构复杂的Petri网与其同步合成子网之间的行为关系,给出了结构复杂Petri网的行为描述算法,为利用网语言分析实际系统的行为特征提供了可靠的理论依据和方法.

关 键 词：PETRI网 S-网  PETRI网语言 同步合成  同步交  行为描述  

分 类 号：TP301]