第5讲-PETRI网模拟原理

PETRI NET一、网和网系统一般系统模型均由两类元素构成：表示状态的元素和表示变化的元素。

例如用于描述程序系统的程序设计语言用变量表示状态，用语句，特别是赋值语句，表示变化，Petri网也不例外。

Petri网的状态元素和变化元素分别称为S_元素和T_元素，也简称为S_元和T_元。

怎样把两类元素联系起来构成完整的系统呢？不同的模型采用不同的方法。

控制流是人脑思维方式的反映，分时系统则是对意识流的模拟。

人脑的思维方式（远比控制流的方式复杂）是人脑固有的，控制流却并不是物理系统固有的，所以不应该以任何方式把控制流作为固有成引入系统模型。

Petri网对S_元和T_元同等结待，两者是“分体”的，平等的。

实际上，S_元由T_元改变，而T_元由S_元描述，两者互相依赖。

Petri网起源于对信号传输的描述，所以适合于描述以资源流动为特征的系统。

T_元引起S_元中资源的流动。

联系T_元和S_元的是两者之间的流关系，用F表示。

Petri网中没有任何形式的固有控制，既不含冯.诺依曼式的控制流，也不用全局状态或全局时间变相控制。

自然规律决定了每个变迁与哪些状态元素有关，也决定其相关方式。

变迁是Petri网对T_元的称呼。

变迁之间通过共享的S_元联系在一起，构成网状的系统结构。

只有在全局或局部控制是应用问题的组成部分时，控制信息才作为资源出现在Petri网中。

以自然的依赖关系描述变迁之间的联系(从下而的例子中去体会这句话)，使Petri网具有区别于其他模型的许多特点。

除可实现性外，最突出的是Petri网适合于在各种抽象级别上描述并分析异步并发系统，而且由此产生了一整套理论。

为应用系统建立Petri网模型，首要的就是决定什么是系统的变迁，什么是系统的库所。

但变迁和库所的划分有时并不总是这么明确。

变迁和库所的概念有时能帮助我们认清事物的本质。

正确区分变迁和库所，有时能对问题的求解起重要作用。

二、Petri 网的基本定义定义1：三元组(,;)N S T F =称为有向网(directed net ，简称为网(net))的充分必要条件是：（1）∅=⋂T S ；（2）∅≠⋃T S ；（3）S T T S F ⨯⋃⨯⊆；（4）T S F cod F dom ⋃=⋃)()(,其中}),(:|{)(F y x y x F dom ∈∃=}),(:|{)(F y x x y F cod ∈∃=它们分别为F 的定义域和值域。

Petri网的原理及应用1. 什么是Petri网Petri网是一种用于描述并发系统和并发性行为的图形化工具和形式化方法。

它由德国数学家Carl Adam Petri于1962年提出，被广泛应用于系统建模、并发系统分析、协议验证等领域。

Petri网可以模拟并发系统的并发行为、状态转换以及资源分配等关键方面，通过图形化的方式直观地展示系统的结构和行为，并支持形式化的数学分析。

2. Petri网的基本元素Petri网由以下基本元素组成：2.1. 位置（Place）位置表示系统中的状态或者条件，通常通过一个圆圈表示。

位置可以存储某种资源或者表示某种变量的取值。

2.2. 过渡（Transition）过渡表示系统中的某种事件或者操作，通常通过一个矩形表示。

过渡可以触发或消耗位置中的资源，改变系统的状态。

2.3. 弧（Arc）弧表示位置和过渡之间的联系，通常通过一条带箭头的线表示。

弧可以表示资源的流动或者触发条件的关系，连接位置和过渡。

2.4. 标识（Marking）标识是位置中的资源的数量，可以通过在位置内部的小圆圈中填写数字来表示。

标识表示系统的状态，在Petri网中可以不断变化。

3. Petri网的建模方法Petri网可以通过以下步骤完成建模：3.1. 确定系统的功能和行为首先，需要明确系统的功能和行为，清楚系统中的位置、过渡以及它们之间的关系。

例如，一个简单的交通信号灯系统中可以有位置表示红绿灯状态、过渡表示信号灯变换的事件或操作。

3.2. 绘制Petri网图根据系统的功能和行为，使用标识符绘制位置和过渡，并用弧表示它们之间的联系。

根据需要，可以使用不同的符号和颜色来表示不同类型的位置和过渡。

3.3. 设定初始标识确定初始状态下位置中的资源数量，填写在位置的小圆圈中。

这可以表示系统的初始状态，即Petri网的初始标识。

3.4. 定义触发条件和行为规则根据系统的功能和行为，定义位置和过渡之间的触发条件和行为规则。

[汇编]petri网原理与应用综述petri网原理与应用综述摘要:本文概述了Petri网的历史、发展、研究方法及应用领域，同时介绍了Petri网的基本原理，并给出了1个计算机网络链路层数据传输协议——停等协议的Petri网模型。

最后，概述了Petri网研究和应用中出现的问题，展望了Petri网的发展方向。

关键字:Petri网;状态变迁模型;并发;停等协议中图法分类号:TP312Research Surveys of the Petri NetWU QiangDepartment of Electronics and Information Engineering，Henan Vocational College of Agriculture，Zhengzhou，Henan Province 451450，ChinaAbstract: The article summarizes the history， thedevelopment， the research methods， the application areas and the basic principle of Petri net， and gave a Petri net model of stop-and-wait protocol。

Meanwhile， according to the problem of Petri net research and application， the paper gave some ideas。

Key words: Petri net; States transition model; Concurrency;Stop-and-wait protocol1。

历史和发展Petri网的概念最早是在1962年Carl Adam Petri 的博士论文中提出来的，后来该模型就成为理论计算机科学包括自动机模型和形式语言理论的1个分支。