Petri网，Petri网是甚么

本文目录一览

1，Petri网是甚么
2，Petri网简介
3，什么是安全的petri网
4，Petri网是个什么东西
5，求Petri网的性质急
6，Petri网的高级模型

1，Petri网是甚么

Petri网是对离散并行系统的数学表示！

Petri网是甚么

2，Petri网简介

http://weibo.com/u/1939368722

Petri网简介

3，什么是安全的petri网

petri 网中所有库所的容量即托肯数不超过1就说明这个petri网是安全的

你好！petri网中每个库所里面的资源数都不超过它的最大容量时，那么该Petri网就是安全的希望对你有所帮助，望采纳。

petri网中每个库所里面的资源数都不超过它的最大容量时，那么该Petri网就是安全的

什么是安全的petri网

4，Petri网是个什么东西

petri 网中所有库所的容量即托肯数不超过1就说明这个petri网是安全的

电缆调制解调器（简称CM），Cable是指有线电视网络，Modem是调制解调器。平常用Modem通过电话线上互联网，而电缆调制解调器是在有线电视网络上用来上互联网的设备，它是串接在用户家的有线电视电缆插座和上网设备之间的，而通过有线电视网络与之...

5，求Petri网的性质急

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

额

6，Petri网的高级模型

为了解决经典Petri网中的问题，研究出了高级Petri网，在以下方面进行了扩展：o 令牌着色一个令牌通常代表具有各种属性的对象，因此令牌拥有值（颜色）代表由令牌建模的对象的具体特征，如一个令牌代表一个工人（张三，28岁，经验3级）。o 时间为了进行分析，我们需要建模期间，延迟等，因此每一个令牌拥有一个时间戳，变迁决定生产出的令牌的延迟。o 层次化构造一个复杂性与数据流图相当的Petri网的机制。子网是由库所，变迁和子网构成的网络。o 时序增加时序逻辑的定义，更好的描述行为过程。

经典的petri网是简单的过程模型，由两种节点：库所和变迁，有向弧，以及令牌等元素组成的。 (1) petri网的元素：+ 库所（place）圆形节点+ 变迁（transition）方形节点+ 有向弧（connection）是库所和变迁之间的有向弧+ 令牌（token）是库所中的动态对象，可以从一个库所移动到另一个库所。 + 有向弧是有方向的+ 两个库所或变迁之间不允许有弧+ 库所可以拥有任意数量的令牌o 行为如果一个变迁的每个输入库所（input place）都拥有令牌，该变迁即为被允许(enable)。一个变迁被允许时，变迁将发生(fire)，输入库所(input place)的令牌被消耗，同时为输出库所(output place)产生令牌。+ 变迁的发生是完整的，也就是说，没有一个变迁只发生了一半的可能性。+ 有两个或多个变迁都被允许的可能，但是一次只能发生一个变迁。这种情况下变迁发生的顺序没有定义。+ 如果出现一个变迁，其输入库所的个数与输出库所的个数不相等，令牌的个数将发生变化，也就是说，令牌数目不守恒。+petri网络是静态的，也就是说，不存在发生了一个变迁之后忽然冒出另一个变迁或者库所，从而改变petri网结构的可能。+ petri网的状态由令牌在库所的分布决定。也就是说，变迁发生完毕、下一个变迁等待发生的时候才有确定的状态，正在发生变迁的时候是没有一个确定的状态的。两个变迁争夺一个令牌的情形被称之为冲突。当发生冲突的时候，由于petri网的时序是不确定的，因此具体哪个变迁得以发生也是不确定的。实际应用中，往往需要避免这种情形。用于描述现象的petri网也可能自然出现冲突，这表明我们对于变迁发生的条件没有完全了解。多个弧连接两个节点的情况。在输入库所和变迁之间的弧的个数决定了该变迁变为被允许需要的令牌的个数。弧的个数决定了消耗/产生的令牌的个数。