petri网学习笔记（一）

最新推荐文章于 2026-04-12 04:00:00 发布

原创最新推荐文章于 2026-04-12 04:00:00 发布 · 1.3k 阅读

16 ·

本内容遵循CC 4.0 BY-SA版权协议

GEO检测

标签

#学习 #笔记

petri网自学笔记专栏收录该内容

6 篇文章

订阅专栏

文章目录

目录

文章目录

petri网系统（petri net)

一、petri网是什么？

二、petri网系统

三、基础网系统

1.基本网系统，定义：

2.发生权，定义：

3.同步与异步

总结

petri网系统（petri net)

carl adam petri(1926-2010),莱比锡提出

一、petri网是什么？

有向网，
以有向网为基础的网结构，
网系统（模型）+理论（GNT)
模型+理论+应用

二、petri网系统

EN系统：elementary net system,c/e系统：condition/event system（没有初始状态，只有当前状态）
p/t系统：place/transition system（库所-放同类/变迁-系统，是在原型petri 网的基础上增加两个函数得到的）
高级网系统：pr/T系统：predicate/transition system，colored net system

以上均是线性系统
cyber net system,c_net system(非线性系统）

三、基础网系统

1.基本网系统，定义：

$\sum = \left ( B,E;F,C_{in} \right )$ 称为EN系统，如果（B,E;F）称为有向网，且 $C_{in_{}}\subseteq2 ^B{}$

$2^{B}$ :B的幂集合，即B的所有子集的集合
B中库所只有两种状态：有托肯（棋子）或无托肯，称为条件
E中变迁称为事件（event），只和条件有关
$C_{in}$ 由成真的条件（有托肯的库所组成），称为的初始情态 $\sum$ （case)

2.发生权，定义：

B的子集c，即 $c\subseteq B$ ，称为 $\sum$ 的丛（constellation)

变迁规则

$e\in E,$ 在丛c有发生权，记为： $c[e>$ ,如果 $_{}^{.}\textrm{e}\subseteq c\wedge e^{.}\bigcap c = \varnothing$ (前集全都成真，后集不成真）
$c[e>,c^{'}=(c-_{}^{.}\textrm{e})\cup e^{.}$ 称为c的后继丛，记为 $c[e>c^{^{,}}$ ,把原来成真的条件托肯全都拿掉不成真，把后继里面不成真的全都加上托肯就成真了

（示例1）：

token就是资源，如果一个条件有token就认为该条件成真否则不成真。
其中s不变量是资源的活动轨迹
t不变量是在一场婚礼结束之前回到了初始状态

结构性质：不变量（和有没有资源没有关系）
基本现象：冲突，顺序，并发，同步，异步

3.同步与异步

同步（局部）：两组事件反复发生呈现的规律（全局）：任何两组事件（加权）同步
异步（全局）：没有全局控制，局部确定

petri网是异步并发系统（局部确定，所以并发）

（示例2）：

用petri网描述，

$i=1,2,3,4,5,6,7$
$at_{i}:$ 等待的犯人，周 $i$ 前一日
$d_{i}$ :定于周 $i$ 执行， $d^{,}i$ :周i不执行
$g_{i}$ :凡人猜周 $i$ 执行， $g^{,}i$ :未猜周 $i$ 执行。共有7个token，犯人可将其中一个移入 $g_{i}$ (猜一次）
$d_{i},d^{,}i:$ 共有7个token,恰有一个 $d_{i}$ 有(执行日）
$e_{i}$ :周 $i$ 执行
$r_{i}$ :周i释放

三个主要活动（图中只表示了周一周二）

d1里面有token表示法官决定下一天执行
g1,里面没有token表示他没猜测
r1如果没有决定处死就释放

抓住两点对于周一来说：

第一种，犯人在周一前一天猜中周一执行，且周一真的执行，这个时候就被释放

第二种，犯人未猜中周一执行，但是周一执行，犯人被处死

总结

这里对文章进行总结：

本文介绍了Petri网系统的基本概念和分类。主要内容包括：1）Petri网的定义，即基于有向网的模型系统；2）Petri网系统的分类，如EN系统、C/E系统、P/T系统等；3）基础网系统的核心概念，包括发生权定义、同步与异步现象等。文章通过示例说明了资源分配和状态转换规则，并指出Petri网是异步并发系统的特性。最后强调Petri网在描述并发系统方面的优势。