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

一种基于同步合成构造Petri网进程表达式的方法＊ 曾庆田 （山东科技大学 信息科学与工程学院 青岛266510） 摘 要 Petri网的进程是用于系统行为和状态描述的有效工具，Petri网的进程表达式可以给出系统全部进程的描述，但是对于任意无界Petri网而言求取其进程表达式十分困难。本文首先考察结构简单的S-网的进程行为，给出各种类型的S-网的进程表达式的描述方法。然后拓展了Petri网同步合成的概念，分析了同步合成过程中基本进程段集之间的关系，并利用同步混排给出了进程表达式之间的关系。随后证明了一个Petri网可以通过一组S-网同步合成得到，利用S-网的进程表达式给出了构造Petri网的进程表达式的方法。 关键词 Petri网，S-网，同步合成，同步混排，进程，进程表达式 引 言 进程是Petri网众多的分析方法中对系统行为描述和分析的有力工具进程将状态和变迁并重，把系统中发生的变化和引起的状态改变如实记录下来，它可以很清楚地反映出网系统运行中的变迁之间的顺序、并发、同步等现象[1,2,3]。然而，一个进程只能反映Petri网的一种可能运行情况。一个Petri网往往有许多（可能无限多个）进程，可能无法一一列举。这就为利用进程分析Petri网的行为带来了许多困难。为此，国内外学者P/R网描述的进程行为。etri网进程描述是非常复杂的，目前所给出的方法和结果也仅限于进程行