无界Petri网的进程表达式

被引：25

作者：

曾庆田

吴哲辉

机构：

[1] 中国科学院计算技术研究所

[2] 山东科技大学计算机科学与技术系

来源：

计算机学报 | 2003年 / 12期

关键词：

无界Petri网; 进程表达式; 进程网系统; Petri网语言; 分解;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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

引用

页码：1629 / 1636

页数：8