关于Petri网进程表达式求取的一点探讨

摘要

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网基本进程段更为简单。

目录

封面

声明

中文摘要

英文摘要

目录

Contents

1 引言

1.1 研究背景和意义

1.2 国内外研究现状及课题的提出

1.3 本文的主要工作及组织结构

2 Petri网基本概念和基本理论

2.1 网与网系统

2.2 Petri网的动态性质

2.3 Petri网的结构性质

2.4 Petri网的分析方法

2.5 Petri网分解方法

2.6 小结

3 Petri网进程特性分析

3.1 Petri网进程的基本概念

3.2 有界Petri网的进程表达式

3.3 无界公平Petri网的进程表达式

3.4 无界Petri网的进程表达式

3.5 基于同步合成的Petri网进程表达式求取

3.6 小结

4 基于共享合成的Petri网进程分析

4.1 基于S-组合求取Petri网基本进程段

4.2 T-网的进程分析

4.3 基于变迁指标分解的Petri网基本进程段求取

4.4 小结

5 结束语

5.1主要结论

5.2 进一步的研究

致谢

参考文献

作者在读期间的研究成果

详细摘要

Detailed Abstract