离散事件系统性能评价的代数方法,讲述了一个项目的完整操作。

• The ALgebraic Approach to Performance Evaluation of Discrete Event Systems.