本书共12章，前6章主要介绍离散事件系统仿真的相关原理及应用，后6章以形式化方法与Event-B案例、基于AnyLogic的系统仿真方法和基于Java/Python的离散事件系统仿真算法设计。通过学习本书，读者不仅可以初步掌握离散事件系统仿真的基本原理与方法，还可以进行基于相关软件的离散事件系统仿真操作与实践，同时展开基于认识论、实践论和方法论的探索。