本页使用了标题或全文手工转换

Petri网

维基百科,自由的百科全书
跳转至: 导航搜索

佩特里网英语Petri net),又譯為裴氏網、派翠網路,是对离散并行系统的数学表示。Petri网是1960年代由卡尔·亚当·佩特里发明的,适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式,也有直观的图形表达方式。

由于Petri网能表达并发的事件,被认为是自动化理论的一种。研究领域趋向认为Petri网是所有流程定义语言之母。

背景[编辑]

卡尔·A·佩特里是一名物理学家,他发明Petri网主要是从物理的角度去描述并发现象的。据佩特里本人所述,他认为60年代计算机科学的概念构架由于缺乏并发不适合于描述物理系统。其中一个重要的概念,就是Petri网里面不存在所谓的“全局时间”的概念,因为这跟狭义相对论是冲突的。相反,Petri网可以描述每一个节点的时序。

从狭义相对论的观点出发,两个时空点之间如果没有因果关系把它们连接起来(或者说“类空”的),它们就是独立的,不能说其中一个发生在前另一个在后或者相反。因此,Petri网里面的两种变迁(见下文)如果都有发生的条件,则不能认为其执行顺序有任何关系。然而,Petri网旨在描述变迁之间的因果关系,并由此构造时序。

经典Petri网[编辑]

经典的Petri网是简单的过程模型,由两种节点:库所和变迁,有向弧,以及令牌等元素组成的。

PetriNet.JPG

结构[编辑]

Petri网的元素:

  • 库所(Place)圆形节点
  • 变迁(Transition)方形节点
  • 有向弧(Arc)是库所和变迁之间的有向弧
  • 令牌(Token)是库所中的动态对象,可以从一个库所移动到另一个库所。

Petri网的规则是:

  • 有向弧是有方向的
  • 两个库所或变迁之间不允许有弧
  • 库所可以拥有任意数量的令牌

行为[编辑]

如果一个变迁的每个输入库所(input place)都拥有数量足够的令牌时,该变迁即为被允许(enable)。一个变迁被允许时,变迁将发生(fire),输入库所(input place)的令牌被消耗,同时为输出库所(output place)产生令牌。

注意:

  • 变迁的发生是原子的,也就是说,没有一个变迁只发生了一半的可能性。
  • 有两个或多个变迁都被允许的可能,但是一次只能发生一个变迁。这种情况下变迁发生的顺序没有定义。
  • 如果出现一个变迁,其输入库所的个数与输出库所的个数不相等,令牌的个数将发生变化,也就是说,令牌数目不守恒。
  • Petri网络是静态的,也就是说,不存在发生了一个变迁之后忽然冒出另一个变迁或者库所,从而改变Petri网结构的可能。
  • Petri网的状态由令牌在库所的分布决定。也就是说,变迁发生完毕、下一个变迁等待发生的时候才有确定的状态,正在发生变迁的时候是没有一个确定的状态的。

两个变迁争夺一个令牌的情形被称之为冲突。当发生冲突的时候,由于Petri网的时序是不确定的,因此具体哪个变迁得以发生也是不确定的。实际应用中,往往需要避免这种情形。用于描述现象的Petri网也可能自然出现冲突,这表明我们对于变迁发生的条件没有完全了解。

多个弧连接两个节点的情况。在输入库所和变迁之间的弧的个数决定了该变迁变为被允许需要的令牌的个数。弧的个数决定了消耗/产生的令牌的个数。

Petri网的形式化定义[编辑]

一个经典的Petri网由四元组(库所,变迁,输入函数,输出函数)组成。 任何图都可以映射到这样一个四元组上,反之亦然。

被允许的形式化 变迁发生的形式化 Petri网到变迁系统的映射 可达性图

Petri 是一个三元组(P,T,F) F(P X T)U(T X P)是弧的集合

流程建模[编辑]

一个流程的状态是由在场所中的令牌建模的,状态的变迁是由变迁建模的。令牌表示事物(人,货物,机器),信息,条件,或对象的状态; 库所代表库所,通道或地理位置;变迁代表事件,转化或运输

一个流程(Flow)有当前状态,可达状态,不可达状态。

经典Petri网的局限性[编辑]

  • 没有测试库所中零令牌的能力
  • 模型容易变得很庞大
  • 模型不能反映时间方面的内容
  • 不支持构造大规模模型,如自顶向下或自底向上

高级Petri网[编辑]

为了解决经典Petri网中的问题,研究出了高级Petri网,在以下方面进行了扩展:

  • 令牌着色 -- 令牌具有属性
  • 时间-- 变迁有延迟时间
  • 层次化 -- 一个变迁可以是一个子Petri网

令牌着色[编辑]

一个令牌通常代表具有各种属性的对象,因此令牌拥有(颜色)代表由令牌建模的对象的具体特征,如一个令牌代表一个工人(张三,28岁,经验3级)。

时间[编辑]

为了进行分析,我们需要建模期间,延迟等,因此每一个令牌拥有一个时间戳,变迁决定生产出的令牌的延迟。

层次化[编辑]

构造一个复杂性与数据流图相当的Petri网的机制。 子网是由库所,变迁和子网构成的网络。

时序[编辑]

增加时序逻辑的定义,更好的描述行为过程。

Petri网的应用[编辑]

相关内容[编辑]

外部连接[编辑]