在对离散事件动态系统(discrete event dynamic system, DEDS)的建模、分析、性能评价及其控制设计中,Petri网作为一种数学的方法,......