# Petri网

> 一种图形化的数学建模工具，用于描述和分析并发、异步、分布式系统，由库所（状态）、变迁（事件）和有向弧组成。

- ID: m06791
- 分类: system
- 领域: 系统论

## 定义

一种图形化的数学建模工具，用于描述和分析并发、异步、分布式系统，由库所（状态）、变迁（事件）和有向弧组成。脚手架作用：并发系统的可视化分析。将复杂的并发行为转化为可分析的图形模型，便于发现死锁、冲突等问题。

## 机制

用图形化数学描述并发系统：库所（Place，状态 / 条件）以圆圈表示，变迁（Transition，事件）以方框表示，托肯（Token）在库所间流动表示资源 / 状态。变迁触发需其输入库所有托肯，触发后消耗并生成输出托肯。可形式化分析死锁、冲突、可达性。

## 练习

1. 识别系统的状态（库所）与事件（变迁）。 2. 用有向弧连接，标注初始托肯分布。 3. 按规则模拟变迁触发（满足输入才触发）。 4. 分析可达状态图，找死锁 / 冲突 / 瓶颈。

## 脚手架用法

并发系统的可视化分析。将复杂的并发行为转化为可分析的图形模型，便于发现死锁、冲突等问题。

[阅读网页](https://thinkingmodels.site/entries/detail/m06791)