Exspect相关论文
为了准确的了解集装箱码头进口箱作业流程。及各个环节上的时间分布、效率情况，文中使用了赋时petri网对进口箱流程进行建模。文中......
内燃机零部件的设计生产效能是影响其计划任务按时、按质和按量完成的重要因素。本文分析了影响内燃机零部件的设计生产效能的综合......
用Petri网建立的模型更有利于动态仿真，适合建模具有同步、并发、资源共享的系统。利用Petri网对海军战役装备指挥信息流程系统进行......
JobShop调度是典型的NP类调度难题，是学术界研究的热点和难点。调度问题的关键是模型的建立和调度算法的选择。Petri网能直观地描述......
作战单元装备系统的需求量仿真模型，应用Petri网和ExSpect建立复杂任务的仿真模型。其步骤包括：定义约束环境及目标函数、借鉴运筹学......
中欧国际铁路运输是"一带一路"陆路通道建设的核心,而铁路国境口岸站是运输通道的关键节点。随着运量提升,铁路过境口岸站运输组织......
近年来,我国自然灾害等各类应急事件频发,人民群众对应急救援提出了更高的要求。应急事件发生的不确定性和随机性,导致应急物流的......
介绍了基于赋时有色 petri 网(timed coloured Petri net)的可执行的规格说明工具 ExSpect(EXecutable SPECification Tool)的基本......
任务可靠性的仿真方法有多种,这些方法由于系统的复杂性均存在某些方面的局限。本文首先介绍了任务可靠性的基本概念和一种新的用......
随着petri网理论与应用研究的不断发展,petri网已经成为排队系统建模和仿真的有力工具.介绍了基于petri网的可执行的规格说明语言E......
针对电子制造企业中的仓储业务流程作为研究对象,建立基于Petri网的企业仓储物流业务流程模型,选择流程的周期时间作为关键参数,提......
在对复杂作战任务进行分析的基础上,以任务成功性要求为目标,讨论了弹药需求量仿真的模型框架,并应用Petri网技术及其软件ExSpect......
随着petri理论与应用研究的不断发展,petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统......
自2003年“非典”突发事件以来，我国在应急预案、应急体制、应急机制和应急法制的建设上做出了巨大的努力，基本建立了我国“一案三制......
随着人们物质生活水平的逐步上升和精神层面追求的不断提高,对图书的需求量越来越大,图书出版产业的发展空间也越来越广阔。出版产......
生产物流是企业生产过程得以连续进行的必要条件。在生产空间中加工点往往处于固定位置,只要加工设备能正常运转,就不会对系统产生......
装备作战单元的任务可靠性是装备作战单元作战效能的一个重要因素,也是衡量装备作战单元其它性能的重要基础之一。采用平均故障间......
电子政务工程的实施并不是简单的将政府的工作流程完全不变的转移到网络上,这是因为现有的政务流程由于历史的原因或者人为的因素......
以国内某大型制造企业的采购业务流程为研究对象,用Petri网技术构建了现有环境下和优化后的采购流程模型,分别对这两种情况下的业......
