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

A Construction Method for the Process Expression of a Petri Net Based on Synchronization Composition

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

Process is one of the most useful tools for property analysis of a Petri net, however it is usually difficult to present all the processes of a structure-complex Petri net. Process expression can be used to define the set of all processes for a Petri net. A construction method for the process expression of a Petri net is proposed based on synchronization composition in this paper. The process characteristics of S-Net, a kind of structure-simple Petri net, are analyzed firstly with details, and the approaches to obtain the process expressions of all kinds of S-Nets are presented. Then, the relationship between the sets of the basic process section during the synchronization composition is analyzed, and the relationship between process expressions is expressed by synchronization shuffle operation of processes. It is proved that a Petri net can be constructed by the synchronization composition of a set of S-Nets, and the process expression of the original Petri net can be obtained based on the process expressions of these S-Nets.