本书共12章,前6章主要介绍离散事件系统仿真的相关原理及应用,后6章以形式化方法与Event-B案例、基于AnyLogic的系统仿真方法和基于Java/Python的离散事件系统仿真算法设计。 通过学习本书,读者不仅可以初步掌握离散事件系统仿真的基本原理与方法,还可以进行基于相关软件的离散事件系统仿真操作与实践,同时展开基于认识论、实践论和方法论的探索。 本书可作为高等院校经济管理、物流工程、计算机科学与技术、软件工程等相关专业的教材,也可作为感兴趣读者的自学读物,还可作为相关行业技术人员的参考用书。

邱小平，西南交通大学计算机与人工智能学院教授，综合交通运输智能化国家地方联合工程实验室副主任。先后承担国家重点研发、国家自然科学基金、国家社会科学基金等国家级项目10余项，承担铁道部重大基金、教育部人文社科基金、四川省学术与技术带头人培养基金等省部级项目近20项；发表学术论文120余篇，其中第1作者70余篇，SCI、EI、ISTP检索100余篇，完成专著/教材12本，申报发明专利10项（获批8项），获软件注册5项，省部级科学技术鉴定1项。

前言 党的二十大报告指出： 教育、科技、人才是全面建设社会主义现代化国家的基础性、战略性支撑。必须坚持科技是第一生产力、人才是第一资源、创新是第一动力，深入实施科教兴国战略、人才强国战略、创新驱动发展战略。高等教育与经济社会发展紧密相连，对促进就业创业、助力经济社会发展、增进人民福祉具有重要意义。 离散事件系统仿真技术作为一种分析和解决复杂系统问题的有效方法，其起源可以追溯到20世纪中叶。在军事、工业生产等领域，为了更好地规划资源、预测系统性能和评估决策效果，研究人员尝试运用数学模型和计算机模拟实际系统的运行过程，这正是离散事件系统仿真技术的雏形。随着科学技术的飞速发展和社会系统的日益复杂，人们对于理解和优化各种系统的需求变得愈发迫切。 离散事件系统仿真技术具有极其重要的作用。它能够帮助人们在不实际构建或改变真实系统的情况下，对系统的行为和性能进行预测和分析。通过建立精确的模型，人们可以模拟不同的条件和场景，从而深入了解系统的潜在行为模式，为决策提供有力的支持。无论是优化生产流程、提高服务质量，还是降低成本、减少风险，离散事件系统仿真都能发挥关键作用，使人们能够在复杂的系统中做出明智的决策。 如今，离散事件系统仿真技术已经广泛应用于众多领域。在工业制造领域，用于优化生产计划、调度和库存管理； 在交通运输领域，用于规划交通流量、优化公交线路和设计交通枢纽； 在医疗卫生领域，辅助医院的资源配置和流程优化； 在金融服务领域，帮助评估风险策略和优化业务流程。可以说，离散事件系统仿真技术已经成为推动各行业创新和发展的重要工具。 为了方便教学和读者自学...