被允许的形式化 变迁发生的形式化 Petri网到变迁系统的映射 可达性图
Petri 是一个三元组（P,T,F） F(P X T)U(T X P)是弧的集合
[编辑] 流程建模
一个流程的状态是由在场所中的令牌建模的，状态的变迁是由变迁建模的。令牌表示事物（人，货物，机器），信息，条件，或对象的状态； 库所代表库所，通道或地理位置；变迁代表事件，转化或运输 一个流程（Flow）有当前状态，可达状态，不可达状态。
[编辑] 经典Petri网的局限性
? ? ? ?
没有测试库所中零 模型容易变得很庞大 模型不能反映时间方面的内容
不支持构造大规模模型，如自顶向下或自底向上
[编辑] 高级Petri网
为了解决经典Petri网中的问题，研究出了高级Petri网，在以下方面进行了扩展：
? ?
令牌着色 -- 令牌具有属性 时间-- 变迁有延迟时间
?
层次化 -- 一个变迁可以是一个子Petri网
[编辑] 令牌着色
一个令牌通常代表具有各种属性的对象，因此令牌拥有值（颜色）代表由令牌建模的对象的具体特征，如一个令牌代表一个工人（张三，28岁，经验3级）。
[编辑] 时间
为了进行分析，我们需要建模期间，延迟等，因此每一个令牌拥有一个时间戳，变迁决定生产出的令牌的延迟。
[编辑] 层次化
构造一个复杂性与数据流图相当的Petri网的机制。 子网是由库所，变迁和子网构成的网络。
[编辑] 时序
增加时序逻辑的定义，更好的描述行为过程。