petri网络模型是什么意思

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/25 17:06:06

petri网络模型是什么意思
petri网络模型是什么意思

petri网络模型是什么意思
Petri网是Carl Adam Petri于1962年在博士论文中首次提出来的.作为描述系统元素的异步并发操作的工作模型,Petri网在计算机等许多领域都获得了广泛的应用.Petri网是完全从过程的角度出发为复杂系统的描述与分析设计提供的一种有效的建模工具,能自然的描述并发、冲突、同步、资源争用等系统特性,并带有执行控制机制,同时还具备形式化步骤及数学图论相支持的理论严密性.
一个Petri网的结构元素包括:库所(place)、变迁(translation)和有向弧(arc)库所使用圆来标识,用于描述可能的系统局部状态.变迁使用矩形标识,用于描述修改系统状态的事件.有向弧可以从库所节点指向变迁节点,或者从变迁节点指向库所节点.通过有向弧描述库所和变迁之间的联系,等价于自动机中的状态转移函数,表示使事件发生的局部状态(因)或事件发生所引起的局部状态的变化(果)在Petri网模型中,系统的动态特性用令牌 (token)标识,令牌表示为包含在库所节点中的圆点,它反映着库所代表的局部状态实现的动态情况.若某库所中包含一个令牌,则表示库所代表的局部状态的一次实现(条件或结果为真);若库所中无令牌,
则表示库所代表的局部状态尚未实现(条件或结果为假).

Petri网是用库所、变迁、库所来表示活动的有向图。有多个活动就构成了网络结构。活动的代价可以是精确的也可以是模糊的。其用途很广。