Petri网的偏序行为关系.doc

第四章 Petri网的偏序行为关系 4.1 引 言 Petri 网是异步并发系统建模与分析的有力工具。利用Petri网进行系统建模，不仅有图形的直观性，结构的层次性，而且还有一套理论方法支持系统的性质分析和品质分析。Petri网作为系统模拟与分析的一种有效工具已得到广泛应用，特别在并发系统的应用中更体现了Petri网的优势。这是由于Petri网擅长描述并发、冲突、异步和同步等重要现象，以形式的步骤和严格的理论作为系统分析的基础，从而使得Petri网成为越来越受人们重视的一种建模工具。 进程作为并发系统动态运转机制的精确刻划工具，为Petri网的动态行为特征提供了一种很好的表达。[1,2]从基本偏序关系出发，首先建立了通用网论，进程是其重要组成部分。文[3,4]研究了C/E系统的进程表达及其性质，文[5]讨论了P/T网的进程语义，[6]定义了进程的连接操作，文[7,8]分别研究了C/E系统和EN系统的行为特征，文[9]研究了进程周期及系统重构问题。 本章着重考察Petri网同步合成过程中，基本进程语言的合成关系，以及与之有关的线集, 切集等性质。同时将研究Petri网同步合成和共享合成中其进程语义的性质，获得一组关于进程语义的投影和模拟关系公式。这些结果对复杂Petri网模型的动态行为分析无疑是十分重要的。 4.2 同步合成 PN 的进程语言公式 定义 4.1 设是一个Petri网, 是一个出现网, , , 称是的一个进程当且仅当。令 是的进程, 则称是的进程语言。 定义 4.2 设, , 是( 的出现网集, , 是的进程语言。若 , 使得对 若，则删去及其输入，输出弧； ，若，则删去及其输入，输出弧； 由此得到的标号出现网记作, 则称是到的投影映射，称是的逆映射，。 定理 4.1 设，是两个Petri网，, 表示 ( 的基本进程集合, , 则 。 证明 ，设，则： ，则； ； ； 这样，我们令：, 其中 这里：。从而： 或，这样 ，因此； 则 或 或 ，则 或 或 ，这样 或 或 ，从而 ； , 则 ，从而 ； ，则 或 。则 或 ，则 ，或 ，即 ； ，或 即 或 (因为 )。 则 ，从而 ，从 而。 因此 是的一个进程。 又因为 。 故 是的一个基本进程，即 。 另一方面，对于 , 我们类似地可证 ，其中 。 综上所述，定理得证！ ( 例 4.1 图4.1中的(1)是两个Petri网, 它们的基本进程集 在(2)中给出。(3)是，(4)是。 (1) (2)