机译：离散事件模拟的正式结构。第一部分：多级系统建模
机译：具有多个可用性约束的并行生产机器上不可恢复作业的最优调度模型
机译：水平整合管理：智能供应链环境下多周期并行生产系统的最优切换模型
机译：通过模型检查具有多个作业的离散制造系统的建模
机译：多个离散事件模拟和动画模型可协助现代采矿作业。
机译：年轻人饮酒行为建模的模型：使用横截面数据的不确定身份离散事件系统
机译：分布式系统行为建模和基础设施运行的正式验证与有限状态自动机的组成方法：应用于查看水道中功能验证的应用
机译：人机操作员自适应离散控制行为的形式化模型。
