2009年4月6日

Petri Net 的形式化定义

摘要: Petri Net 定义 定义 1.1 如果三元组 (S, T, W) 称为一个 Petri 网图,那么 S 是库所的有限集合 T 是变迁的有限集合 S ∪ T ≠ Φ,且 S ∩ T = Φ W: (S × T) ∪ (T × S) → N 为弧的多重集 流关系是弧的集合:F = {(x... 阅读全文

posted @ 2009-04-06 00:43 岚之山 阅读(320) 评论(0) 推荐(0) 编辑

Petri Net 的形式化定义

摘要: Petri Net 定义 定义 1.1 如果三元组 (S, T, W) 称为一个 Petri 网图,那么 S 是库所的有限集合 T 是变迁的有限集合 S ∪ T ≠ Φ,且 S ∩ T = Φ W: (S × T) ∪ (T × S) → N 为弧的多重集 流关系是弧的集合:F = {(x... 阅读全文

posted @ 2009-04-06 00:43 岚之山 阅读(276) 评论(0) 推荐(0) 编辑

导航

点击右上角即可分享
微信分享提示