MENTAL MODEL · M6791
Petri网
Petri
Version 1.0.0 · 更新于 2026-07-30
CORE DEFINITION · 核心定义
一种图形化的数学建模工具，用于描述和分析并发、异步、分布式系统，由库所（状态）、变迁（事件）和有向弧组成。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
并发系统的可视化分析。将复杂的并发行为转化为可分析的图形模型，便于发现死锁、冲突等问题。
anchor
锚定快速决策
用图形化数学描述并发系统：库所（Place，状态 / 条件）以圆圈表示，变迁（Transition，事件）以方框表示，托肯（Token）在库所间流动表示资源 / 状态。变迁触发需其输入库所有托肯，触发后消耗并生成输出托肯。可形式化分析死锁、冲突、可达性。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- en.wikipedia.orghttps://en.wikipedia.org/wiki/Petriverified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型