Petri网发展综述.docVIP

Petri网发展综述 Petri网模型时C。A。petri 博士于1962年提出来的，他的提出专门应用这样一类系统，即系统中国含有相互作用的并行分支。作为研究系统的一种工具，petri 网理论用一个petri网作为以恶系统的模型——系统的数学表示。从petri 网的观点来看待一个系统，集中地表现为两个本原的概念，即事件和条件。事件是系统中大声地动作，条件即系统的状态。系统中的动作的发生是由系统的状态来决定的，协调的状态演变是由系统的事件来驱动的。而这些状态可以用一组条件来描述。条件满足动作即可发生，动作发生后达到下一状态，它可以揭示出被模拟的系统的结构和动态行为方面的重要信息。这些信息可以用来对被模拟的系统进行估价并提出改进系统的建议。六十年代petri网的研究以孤立的网系统为对象，以分析技术和应用方法为目标，通过网论丛七十年代开始研究，主要内容为网系统的分类及各网类之间的关系，包括：并发论，同步论，网逻辑和网拓扑，八十年代petri网的研究在世界及中国有了较大的发展，近年来国内的主要研究集中在petri网的语义，公平性，活性，网运算，网化简，PN机理论等等。 当今计算机技术的发展日新月异，计算机计算能力的发展促进了模拟技术的应用和发展，用一个数学模型，比如petri 网来表示一个系统，然后，通过一定的算法让计算机对模型分析，就可以得到有关系统的性质。由于计算机计算的高速性和准确性，这就使得对巨大，复杂人工难以胜任的系统的模拟成为可能。 随着科学技术的发展出现了许多大规模的信息处理系统，如：并行程序，分布式操作系统，大规模的通信网络系统等等。由于petri 网可以精确描述系统事件之间的顺序并发关系，所以它是分析并发系统的强有力的工具。 Petri 网的研究工作沿着两个方向发展。第一，纯petri 网理论；第二，应用petri网理论。 纯petri网理论是为发展应用petri网理论所需要的基本概念，技术和手段所做的研究。近年来petri网理论的研究取得了不少研究成果，如petri 网的结构性质；petri网语言：随机网，颜色网；谓词变迁系统等等。有国内吴哲辉教授和美国的T。Murata教授共同提出的petri 网的公平性取得了十分完整的结果，对于解决网系统中两个变迁（变迁组）的发生的关系提出了理论依据。蒋昌俊教授建立了PN机理论构架，在交叠语义和偏序语义下获得反映真并发行为的文法及其PN机结构，揭示它们的计算能力及其相互关系。 应用petri网理论主要从事用petri网模拟，分析和洞察系统的研究。这方面不单要求对petri网及其模拟技术有深厚的知识，而且必须对应用领域相当熟悉。结合当今技术的发展越来越多地应用到通讯系统，分布式系统，并行计算机系统及自然科学社会科学的很多方面。 应用petri网理论的一个重要方面就是并发系统petri网分析工具的构造。Petri网被应用于分析和设计系统时，如果系统规模较大则其对应模型必将十分复杂。人工分析显然是低效且不十分可靠的。因此，分析中若能有效地使用计算机则可十分迅速可靠的得到petri网的性质。 2．Petri网 Petri网是用于描述分布式系统的一种模型。它既能描述系统的结构，又能模拟系统的运行。描述系统结构的部分称为网。从形式上看，一个网就是一个没有孤立结点的有向二分图。 定义1 满足下列条件的三元组N=（S，T；F）称作一个网： 1） （1.1） 2） （1.2） 3） （1.3） 4） （1.4）. 其中 （1.5）. （1.6）. （1.2）式中指出，S和T是两个不相交的集合（一般情况下可假定它们为有限集），它们是网N的基本元素集。S的元素称为库所，T的元素集称为变迁，F是网N的流关系。用图形来表示一个网时，把一个S元画成一个小圆圈，一个T元画成一个小矩形。对，若，则从x 到y画一条有向边。（1.3）式指出，有向边只存在于小圆圈和小矩形.之间，任意两个小圆圈或者小矩形之间都没有有向边连接。（1.4）式指出，一个网中不应有孤立结点。 定义2 设N=（S，T；F）为一个网。对于，记 （1.7） （1.8） 称为x的前集或输入集，为x的后集或输出集。称为元素x 的外延。 显然，一个库所的外延是变迁集T的一个子集，一个变迁的外延是库所集S的一个子集。对，x的外延都不可能是空集（