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

• 作 者: 徐心和 于海斌
• 机 构: 东北工学院自控系,东北工学院自控系沈阳,沈阳
• 出 处: 信息与控制
• 发表日期: 1990年5期
• 关键词: 离散事件系统 代数方法 计算

<正> 事件图是一种特殊类型的 Petri 网,如图2给出。这里不允许“或模式”和“竞争模式”存在。具体讲就是每个位置(place)只能有一个上游转换(transition)和一个下游转换。某位置的上游转换若为 x_1,下游转换为 x_2,该位置则可标记为 x_2|x_1。事件图的一个重要性质就是在系统的整个进展过程中,各回路中的令牌(token)总数保