论文部分内容阅读
Petri网的进程是对系统行为描述和分析的有力工具,它可以很清楚地反映出网系统运行中变迁之间的顺序、并发、同步等现象。然而,一个进程只能反映Petri网的一种可能运行情况。一个Petri网往往有许多(可能无限多个)进程,无法一一列举,这就给利用进程分析Petri网的行为带来了许多困难。Petri网进程表达式很好地弥补了这个缺陷,它用有限形式给出了网系统的所有(无限多个)进程的集合。一个Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,它所表示的正规集是该Petri网全体满进程的集合。本文详细讨论了Petri网进程表达式的求取方法,给出了各种情况。首先介绍了有界Petri网的进程表达式的定义,并讨论了借助可达类图求有界Petri网的进程表达式的方法。由于求有界Petri网的进程表达式的方法对无界Petri网不再适用,借助无界公平网的特征可达树,讨论了无界公平Petri网的进程表达式的求取方法。对于任意无界Petri网,需要首先建立其特征可达树求取基本进程段集,然后构造其进程网系统,将其进程描述问题转换成进程网系统的语言描述问题。通过分解的方法描述进程网系统的语言行为的方法,给出原Petri网的进程表达式的求取方法。由于一个Petri网可以通过一组S-网系统同步合成得到,将求取Petri网进程表达式的问题转化成求取S-网的进程表达式问题。可以由S-网系统的进程表达式给出Petri网的进程表达式,由此给出利用同步合成构造Petri网的进程表达式的方法。经过进一步分析,S-组合Petri网的闭基本子进程的集合是子网系统的闭基本子进程的集合的并集,这里的S-组合子网系统可以通过基于变迁指标的分解得到,一个Petri网经过基于变迁指标的分解后,得到的子网系统是一组T-网系统,而T-网系统的基本进程段容易求得,这将使得求取Petri网基本进程段更为简单。