摘要: 事件图是一种特殊类型的Petri网^1，6，如图2给出．这里不允许“或模式”和“竞争模式”存在．具体讲就是每个位置（place）只能有一个上游转换（transition）和一个下游转换．某位置的上游转换若为x₁，下游转换为x₂，该位置则可标记为x₂|x₁．