文献类型：期刊文章

作　　者：曾庆田[1] 吴哲辉[2]

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

出　　处：《计算机学报》

基　　金：国家自然科学基金 (60 1 730 53 ;60 2 740 63);山东省中青年科学家科研奖励基金 (0 2BS0 69)资助

年　　份：2003

卷　　号：26

期　　号：12

起止页码：1629-1636

语　　种：中文

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

摘　　要：借助进程网系统的概念 ,首先证明了无界Petri网Σ的进程与其进程网系统ΣP的语言之间存在一一映射关系 ,将求取Σ的进程表达式的问题转化成求取ΣP的语言问题 .由于ΣP的结构一般比较复杂 ,直接求取其语言仍然比较困难 .通过定义库所的指标函数 ,将结构复杂的ΣP分解成结构简单的子网系统 ,引入了语言的同步交运算 ,给出了利用这些子网系统求取结构复杂的ΣP语言的方法 ,从而得到了求取无界Petri网Σ的进程表达式的算法 .

关 键 词：无界Petri网  进程表达式  进程行为  模型化

分 类 号：TP183]