用于离散事件系统研究的代数方法(三)

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

     

/

返回文章
返回