论文部分内容阅读
离散事件动态系统(Discrete event dynamic system,DEDS)是指其状态变量只在某些离散时间点上发生变化的系统。大多数离散事件系统本质上属于人造系统,即包含人为规则或人为机制的“非物理型”系统。DEDS研究中最基本的一个问题是系统的建模,各种方法围绕从不同层次和不同数学工具来描述DEDS,来建立形式简明和分析可行的模型。离散事件系统的建模与分析方法众多,而每种建模方法仅适合于分析问题的一个或几个方面,还没有一种模型和方法适合于整个系统的分析、优化与控制。模型是分析的基础,如何利用模型待遇系统性能进行分析是DEDS中的一项重要内容。DEDS的性能分析可以对系统的运行情况,运行效率等问题进行先验,从而保证DEDS的可靠、高效地运行。层次颜色Petri网(Hierarchical Colored Petri Nets,HCPN)由于颜色和分层技术的引入以及功能强大的建模软件CPN-Tools的支持,使其在离散事件系统里有了广泛的应用。本文首先利用层次颜色Petri网,采用基于模型仿真的性能分析方法来分析两种离散时间非空竭服务休假排队模型的各种性能指标。利用本文所提出的基于模型仿真的性能评价方法,可以对一些结构复杂的休假排队系统进行分析,其最大的优点是对建立的休假排队系统的模型,通过简单模型参数的修改,来分析不同参数下系统的性能,得到相关性能指标的数值解,从而降低这类系统性能指标数值解的求解难度和复杂度。最后将层次颜色Petri网应用到一个石材制品生产流水线系统的工业实例中,重点讨论了建模的两个关键问题：(1)通过不同的运输变迁设置不同的看守函数实现路径选择；(2)通过编制单体工序变迁的输入输出函数实现不同产品的不同处理时间。然后应用CPN-Tools工具验证了模型的活性,并基于可达标识图和状态空间报告得到系统最优调度方案。