petri

petri网络模型是什么意思

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

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

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

Petri怎么念

Petri网是Carl Adam Petri于1962年在博士论文中首次提出来的。作为描述系统元素的异步并发操作的工作模型，Petri网在计算机等许多领域都获得了广泛的应用。 Petri网是完全从过程的角度出发为复杂系统的描述与分析设计提供的一种有效的建模工具，能自然的描述并发、冲突、同步、资源争用等系统特性，并带有执行控制机制，同时还具备形式化步骤及数学图论相支持的理论严密性。

一个Petri网的结构元素包括:库所(place)、变迁(translation)和有向弧(arc)库所使用圆来标识，用于描述可能的系统局部状态。变迁使用矩形标识，用于描述修改系统状态的事件。有向弧可以从库所节点指向变迁节点，或者从变迁节点指向库所节点。通过有向弧描述库所和变迁之间的联系，等价于自动机中的状态转移函数，表示使事件发生的局部状态(因)或事件发生所引起的局部状态的变化(果)在Petri网模型中，系统的动态特性用令牌 (token)标识，令牌表示为包含在库所节点中的圆点，它反映着库所代表的局部状态实现的动态情况。若某库所中包含一个令牌，则表示库所代表的局部状态的一次实现(条件或结果为真);若库所中无令牌，

则表示库所代表的局部状态尚未实现(条件或结果为假)。

petri图是什么东西，有什么用途。自学习？简明讲下

如果按英文念，就是pe tri。

但是这是一个德国人创立的，按照德语应该是pet ri。

求Petri网的性质，急！

Petri网是对离散并行系统的数学表示。Petri网是1960年代由卡尔·A·佩特里发明的，适合于描述异步的、并发的计算机系统模型。 Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。

可参考http://baike.baidu.com/view/896125.htm。

什么是安全的petri网？

Petri网适合于描述异步并发行为的系统。首先,Petri网直接展现并发系统的物理结构层次及资源状态的初始分布状况。其次,在Petri网引发规则的作用下将间接展现出该并发系统的动态行为机理。这两个层面相互关联,形成了一个集物理结构和行为机理于一体的集成模型。它提供的的系统信息更加的丰富, 其分析在理论上也更为深刻。Petri网的主要行为特性包括:状态的可达(reachability)、位置的有界性(boundedness)、变迁的活性(liveness)、状态的可逆达(reversibility)、标识之间的可达(reachability)、变迁之间的坚挺 (persistence)、事件之间的同步距离(synchronic distance)和公平性(fairness)等。Petri网模型的主要分析方法依赖于:可达标识图、关联矩阵和状态方程、不变量 (invariants)和分析化简规则。 Petri网以研究模型系统的组织结构和动态行为为目标,着眼于系统中可能发生的各种状态变化以及变化之间的关系,易于表示系统变化发生的条件及变化发生后的系统状态。Petri网应用的主要困难是模型状态空间的复杂性问题,它将随实际系统的规模增大而呈指数性增长。因此,对于一般的Petri网,只要一涉及网的性质,常常得到的算法都是NP难的(又称作状态空间爆炸)。对于这些NP问题,目前国内、国外的理论研究基本停留在一般子类上的研究。尽管得到了许多好的结果,但是由于子类的特殊性,使得所得结果缺乏很好的应用性。

原文地址：http://www.qianchusai.com/petri.html