无界Petri网的进程表达式

• 作者: 吴哲辉 曾庆田
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 无界Petri网 进程表达式 进程网系统 Petri网语言 分解
• 年，卷（期）: 2003,（12）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1629-1636
• 页数: 8页
• 分类号: TP301
• 字数: 7633字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2003.12.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾庆田	中国科学院计算技术研究所	67	573	14.0	21.0
4	吴哲辉	山东科技大学计算机科学与技术系	88	638	14.0	19.0