离散事件动态系统的Petri网模型实现

摘要

事件与状态为表征离散事件系统的两个特征量。事件与状态的变化可直观、方便地表示为状态转移图。