内容简介

本书共12章,前6章主要介绍离散事件系统仿真的相关原理及应用,后6章以形式化方法与Event-B案例、基于AnyLogic的系统仿真方法和基于Java/Python的离散事件系统仿真算法设计。

通过学习本书,读者不仅可以初步掌握离散事件系统仿真的基本原理与方法,还可以进行基于相关软件的离散事件系统仿真操作与实践,同时展开基于认识论、实践论和方法论的探索。

本书可作为高等院校经济管理、物流工程、计算机科学与技术、软件工程等相关专业的教材,也可作为感兴趣读者的自学读物,还可作为相关行业技术人员的参考用书。