[转]Petri网简介

Petri网是对离散并行系统的数学表示。Petri网是1960年代由C.A.佩特里发明的，适合于描述异步的、并发的计算机系统模型。Petri网既有严格的数学表述方式，也有直观的图形表达方式。

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

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

结构
Petri网的元素：

库所（Place）圆形节点
变迁（Transition）方形节点
有向弧（Connection）是库所和变迁之间的有向弧
令牌（Token）是库所中的动态对象，可以从一个库所移动到另一个库所。
Petri网的规则是：

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

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

注意：

变迁的发生是原子的；
有两个变迁都被允许的可能，但是一次只能发生一个变迁；
如果出现一个变迁，其输入库所的个数与输出库所的个数不相等，令牌的个数将发生变化；
Petri网络是静态的；
Petri网的状态由令牌在库所的分布决定。
两个变迁争夺一个令牌的情形被称之为冲突

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

[转]Petri网简介相关推荐

基于 Petri 网的软件过程支撑环境设计
基于 Petri 网的软件过程支撑环境设计基于 Petri 网的软件过程支撑环境设计摘要第 1 章绪论 1.1 软件过程与过程建模 1.3 软件过程支撑环境现状 1.3 本课题的研究内容及意义 ...
常用Petri网模拟软件工具简介
常用Petri网模拟软件工具简介首先要介绍的的一个非常有名的Petri 网网站--Petri Nets World: http://www.informatik.uni-hamburg.de/TGI ...
petri网学习笔记--stochastic petri net分类
SPN 给P/T网的每个transition关联一个实施速率(firing rate)而得到的模型 GSPN Generalized stochastic petri nets,广义随机Petri网 ...
很久以前某位大仙对petri网的总结
2006年03月14日计算模型的统一分析计算模型的统一分析人类所有的计算模型都包括如下四个要素: 1)输入集合或者输入变量(I): 2)输出集合或者输出变量( ...
如何使用petri网建模工具
Petri网建模工具是一种建立和分析Petri网模型的软件工具,以下是使用Petri网建模工具的一般步骤: 下载并安装Petri网建模工具,比较常用的Petri网建模工具有PIPE.TAPAAL等,可 ...
如何使用petri网建模工具pipe4.3.0
Petri网建模工具PIPE4.3.0是一个用于Petri网建模的软件工具.以下是使用PIPE4.3.0建模的基本步骤: 下载和安装PIPE4.3.0软件,并启动它. 创建一个新的Petri网模型.您 ...
离散事件动态系统 #Petri网作业 #可达图 #赋时Petri
离散事件动态系统作业 #Petri网 #可达图 #赋时Petri 本文章由作者独立创作,为研究生某课程作业,仅供参考首先吐槽一点:CSDN无法使用svg矢量图(人家写markdown都支持) 1. ...
关于Petri网的学习笔记
讲述我对Petri的学习过程. 着色Petri网(Color Petri Net) 1.使用有颜色的Token(类型) 使用有颜色的Token 可以对Token进行分类,同时对库所也要定义Token的 ...
Petri网描述语言
PNML--Petri Net Markup Language PNML是基于XML的Petri网表示方法.为了支持不同类型的petri网,其中允许定义新的petri网类型.由于具有这种灵活性,PNM ...

[转]Petri网简介

[转]Petri网简介相关推荐

最新文章

热门文章