分析可到达树可以获得系统的动态性质365bet官网客户端下载

当前位置:365bet官网客户端下载 > 365bet官网客户端下载 > 分析可到达树可以获得系统的动态性质365bet官网客户端下载
作者: 365bet官网客户端下载|来源: http://www.benbaicai.com|栏目:365bet官网客户端下载

文章关键词:365bet官网客户端下载,特殊网论

  声明:百科词条人人可编辑,词条创建和修改均免费,绝不存在官方及代理商付费代编,请勿上当受骗。详情

  佩特里网(Petri Nets)论是网论分支之一,又称特殊网论。研究如何将佩特里网模拟系统以及佩特里网的分析技术,适用于无中央控制的异步并发系统的动态定性研究。佩特里网论的原型是在20世纪60年代初由联邦德国TH Darmstadt(现TU Darmstadt)的C.A.佩特里在其博士论文中提出的。佩特里网已在西欧、北欧和美国获得广泛应用。

  圆圈表示地点或条件,短线表示变迁或事件。连接圆圈和短线的有向弧称为流关系,圆圈中的黑点叫作码子,标志着网中的信息,信息的流动即用码子的位置和数量的变化模拟。码子在网中的分布构成网的标识,又称状态。上述要素所构成之网状结构满足以下五个条件才是佩特里网:(a)至少有一个节点;(b)每个有向弧的起止点必须是一个圆圈和一条短线,两条有向弧的起止点不能完全相同;(c)每个节点至少必须是一条有向弧的起点或终点;(d)每个地点都有固定的容量,即最多能容纳的码子个数,容量可以是无穷的(

  出发,通过变迁之实施获得新的标识,所有这些标识之集合称为可到达状态集,记为

  分析可到达树可以获得系统的动态性质。例如是否可能达到指定的状态,是否有永不能实施的变迁等。这些都是佩特里网论分析研究的问题。365bet官网客户端下载

  扩充网具有较强的模拟力,限受网则易于分析,有较强的决策力。一种有意义的扩充网是约束弧网,365bet官网客户端下载这种网与图灵机有相同的模拟力。

  简单网和单纯网是两种重要的受限网。前者要求任意两个节点不能有完全相同的输入和输出;后者则要求若有向弧(

  变迁的实施只决定于变迁本身的输入输出,所以佩特里网特别适用于模拟无中央控制的异步并发系统的动态性质。365bet官网客户端下载佩特里网已成功地用于分析操作系统和计算机系统结构的容错性能。佩特里网的缺点是节点过多,通用网论中的网射是克服这一缺点的有力工具。

网友评论

我的2016年度评论盘点
还没有评论,快来抢沙发吧!