一种基于同步合成构造Petri网进程表达式的方法

• 作者: 曾庆田
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: Petri网 S-网 同步合成 同步混排 进程 进程表达式
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 381-390
• 页数: 10页
• 分类号: TP301
• 字数: 10698字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2008.03.003

摘要

Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法.然后拓展了Petri网同步合成的概念,分析了同步合成过程中基本进程段集之间的关系,并利用同步混排给出了进程表达式之间的关系.随后证明了一个Petri网可以通过一组S-网同步合成得到,利用S-网的进程表达式给出了构造Petri网的进程表达式的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾庆田	山东科技大学信息科学与工程学院	67	573	14.0	21.0