一种基于同步合成构造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网进程描述是非常复杂的，目前所给出的方法和结果也仅限于进程行为的约束语义描述[6,7,8,9]。 Petri网的同步合成是研究复杂系统的一种有效方法[10,11,12,13]，文[11]研究了同步合成网的进程特征，考察了Petri网同步合成过程中，基本进程语言的合成关系，以及与之有关的线集、切集等性质。本文在文[11]已有的部分结果的基础上，对同步合成Petri网的进程特性进行更深入的研究。本文首先考察一类结构简单的Petri网—S-网的进程行为，给出各种类型的S-网的进程表达式的求取方法。为了适应大规模系统分析的需要，将Petri网同步合成的概念拓展到多个子网的情形，分析了同步合成过程中基本进程段集之间的关系，并利用同步混排运算给出了进程表达式之间的关系。证明了一个Petri网可以通过一组S-网同步合成得到，将求取Petri网进程表达式的问题转化成求取S-网的进程表达式问题。利用同步混排运算，可以由S-网的进程表达式给出Petri网的进程表达式，由此给出利用同步合成构造Petri网的进程表达式的方法。 本文第2节介绍了与本文讨论有关的Petri网进程的基本概念，第3节首先分析了S-网的进程特性并给出了S-网的进程表达式的求取方法。第4节拓展了Petri网同步合成的概念，并着重分析了同步合成过程中基本进程段之间以及进程表达式之间满足的关系。第5节证明了一个Petri网可以通过一组S-网同步合成得到，给出了Petri网进程表达式的求取方法。第6节给出了一个例子，并将本文的方法与已有的工作做了比较。 Petri网进程的基本概念 本文假设读者对Petri网及其进程的概念有所了解[1,2,3,4]，这里只对与本文讨论有关的基本概念、术语和记号做一下简述或约定。为使定义尽量简洁，我们只讨论P/T网的进程，假定和。 定义1.[1] 设为一个网，如果： （1）； （2）， 则称为一个出现网，其中表示流关系的传递闭包。 定义2.[1] 设为一个网，为一个出现网，若映射满足： ； ； ； 则称定义了到的一个映射，记为。 定义3.[1] 设为一个Petri网，为一个出现网，如果满足条件 若则：且； ； 则称为的一个进程。 为了讨论问题的方便，我们给出Petri网的满进程的概念。所谓满进程是指其每个S-切都对应着Petri网的一个可达标识的那一类进程。 定义4.[7] 设为出现网到Petri网的一个网映射，如果： (1)： ； (2)； 则称为的一个满进程。 定义5.[6] 设为的一个满进程，其中，为的两个S-切，。记： （1）； （2）； （3）； 令，满足：，则称为进程的（界于和之间的）一段，也称作的一个进程段，记为。 定义6.[6] 设为的一个满进程，是的一个进程段，如果中的任意两个切和()有：，则称是的一个基本进程段。 Petri网的全体基本进程段的集合记为。基本进程段之间的运算包括连接运算“”、选择运算“”、“*”－闭包、并发运算“”和“”－闭包等运算，具体参见文献[9]，在此不做具体介绍。 定义[9] 设为一个Petri网，为的基本进程段集，是以中的元素为字母表的一个表达式，该表达式所描述的集合为。如果的每个满进程都是集合：的一个元素，则称为的进程表达式。 S-网的进程表达式 为了描述结构复杂Petri网的进程行为，本节首先讨论一类结构简单的Petri网－S-网的进程特性，并给出各类S-网的进程表达式的求