PETRI NET.docVIP

PETRI NET 一、网和网系统 一般系统模型均由两类元素构成：表示状态的元素和表示变化的元素。例如用于描述程序系统的程序设计语言用变量表示状态，用语句，特别是赋值语句，表示变化，Petri网也不例外。Petri网的状态元素和变化元素分别称为S_元素和T_元素，也简称为S_元和T_元。 怎样把两类元素联系起来构成完整的系统呢？不同的模型采用不同的方法。 控制流是人脑思维方式的反映，分时系统则是对意识流的模拟。人脑的思维方式（远比控制流的方式复杂）是人脑固有的，控制流却并不是物理系统固有的，所以不应该以任何方式把控制流作为固有成引入系统模型。 Petri网对S_元和T_元同等结待，两者是“分体”的，平等的。实际上，S_元由T_元改变，而T_元由S_元描述，两者互相依赖。Petri网起源于对信号传输的描述，所以适合于描述以资源流动为特征的系统。T_元引起S_元中资源的流动。联系T_元和S_元的是两者之间的流关系，用F表示。 Petri网中没有任何形式的固有控制，既不含冯.诺依曼式的控制流，也不用全局状态或全局时间变相控制。自然规律决定了每个变迁与哪些状态元素有关，也决定其相关方式。变迁是Petri网对T_元的称呼。变迁之间通过共享的S_元联系在一起，构成网状的系统结构。只有在全局或局部控制是应用问题的组成部分时，控制信息才作为资源出现在Petri网中。 以自然的依赖关系描述变迁之间的联系(从下而的例子中去体会这句话)，使Petri网具有区别于其他模型的许多特点。除可实现性外，最突出的是Petri网适合于在各种抽象级别上描述并分析异步并发系统，而且由此产生了一整套理论。 为应用系统建立Petri网模型，首要的就是决定什么是系统的变迁，什么是系统的库所。但变迁和库所的划分有时并不总是这么明确。变迁和库所的概念有时能帮助我们认清事物的本质。正确区分变迁和库所，有时能对问题的求解起重要作用。 二、Petri网的基本定义 定义1：三元组称为有向网(directed net，简称为网(net)的充分必要条件是； （2）； （3）； （4）,其中 它们分别为F的定义域和值域。 其中S和T分别为N的库所(place)集和变迁(transition)集，F称为流关系（flow relation)。库所和变迁又分别称为S_元素和T_元素，或是S_元和T_元。称为N的元素集。库所集和变迁集是有向网的基本成分，流关系是从它们构造出来的，所以在S,T和F之间用分号()隔开。库所和变迁是两类不同的元素，所以,而表示网中至少要有一个元素。每个库所代表一种资源，资源的流动由流关系规定，所以变迁只能与库所有直接的流关系: ，不参与任何变迁的资源表现为孤立的库所，不引起资源流动的变迁表现为孤立的T_元素， 规定网中不能有孤立元素。称为的对偶网（dual net）。 （2）称为的逆网（reverse net）。 定义设为N的任一元素， （1）称为x的前集(pre-set )或输入集。 （2）称为x的后集（post-set）或输出集。若有库所和，使得，那么在t发生时s中就会既失去又得到托肯。这种结构上的特征表明，s中的资源对t起着类似化学反应中催化剂的作用。把没有这种结构的网称为单纯网（pure net）,简称纯网。 定义：对有向网而言，记=(0,1,2,…},={1,2,3,…}，并以表示无穷:。 （1）: 称为的容量函数(capacity function); （2）对给定的容量函数,称为N的一个标识(marking)的条件是: （3）称为上的权函数，对称为上的权。 尊重资源有限的事实，所以代表资源分布的标识只能为每个库所指定有限多个资源。库所的容量也是有限的，按定义允许有些库所的容量为，这只是表明这些库所的容量不会对系统的行为构成限制。 权函数规定每个变迁发生一次引起的有关资源数量上的变化，它要求对任何, 有。定义： 六元组)构成网系统的条件是： 构成有向网，称为的基网。 依次为上的容量函数、权函数和标识。称为的初标定义（变迁发生条件）： （1）称为t的外延(extention)。 （2）t在M(firable)的条件是: 在记做，也可以说授权(enables)发生或在授权(enabled)下发生。 定义(变迁发生后果)： 若，则在M可以发生，将标识改变为的后继(successor)的定义是：对， 为之后继的事实记作。Petri网的基本性质 Petri网的性质状态有关，还与Petri网的结构有关。这里只介绍一些Petri网的主要性质和特可达性可达性是研究系统动态特性的最基本的性质。Petri网的动态过程，是指使能变迁的触发导致托肯分布(标识)的改变过程，使能变迁的触发序列会产生相应的标识序列。如果存在一个发生序列能够使系统从标识移到标识 ,称标识可达，记为可达性