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) 编辑