《计算机学报》文章摘要   全文下载
文章题目	一种基于同步合成构造Petri网进程表达式的方法
作者	曾庆田
作者单位	(山东科技大学信息科学与工程学院 山东青岛 266510)
发表年份	2008
发表月份	3期(381—390)
文章摘要	摘要 Petri网的进程是用于系统行为和状态描述的有效工具，Petri网的进程表达式可以给出系统全部进程的描述，但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-网的进程行为，给出各种类型的S-网的进程表达式的描述方法.然后拓展了Petri网同步合成的概念，分析了同步合成过程中基本进程段集之间的关系，并利用同步混排给出了进程表达式之间的关系.随后证明了一个Petri网可以通过一组S-网同步合成得到，利用S-网的进程表达式给出了构造Petri网的进程表达式的方法. 关键词 Petri网；S-网；同步合成；同步混排；进程；进程表达式