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

曾庆田

山东科技大学;

摘要：

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

关键词：Petri网、S-网、同步合成、同步混排、进程、进程表达式

所属期刊栏目：31

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60603090;90718011;山东省泰山学者专项基金;山东省优秀中青年科学家研究奖励基金2006BS01019

在线出版日期：2008-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：381-390