带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语...带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语义等价;并给出了语义等价的证明和算法复杂度分析。层次化方法被用来提高模型检测的时间与空间效率。通过实际案例展示了该技术的应用和可行性。展开更多
针对目前国内外大多数仓库系统调度研究只局限于某一局部问题(或某一子系统)而不能全面考虑整个系统运行状况的问题,在分析已有调度策略的基础上提出了各子系统的优化调度策略,并应用有色时间 Petri 网(CTPN)进行建模。基于对各子系统...针对目前国内外大多数仓库系统调度研究只局限于某一局部问题(或某一子系统)而不能全面考虑整个系统运行状况的问题,在分析已有调度策略的基础上提出了各子系统的优化调度策略,并应用有色时间 Petri 网(CTPN)进行建模。基于对各子系统的调度特点及其对整个自动化仓库系统的影响的分析,给出了使各子系统能够协调运行的系统整体上的优化调度策略,并采用仿真工具 CPN-Tools 对调度策略进行了仿真,仿真结果表明,所提出的调度策略可以提高系统的运行效率,可作为研究自动化仓库系统的调度问题的参考手段。展开更多
文摘带抑制弧的时延着色Petri网(Timed Colored Petri Nets with Inhibitor Arcs,TCPNIA)是一种描述实时嵌入式系统的模型。给出了从TCPNIA到时间自动机的结构化转换算法,以利用变迁冲突调解机制保证TCPNIA模型和转换后的时间自动机模型语义等价;并给出了语义等价的证明和算法复杂度分析。层次化方法被用来提高模型检测的时间与空间效率。通过实际案例展示了该技术的应用和可行性。
文摘针对目前国内外大多数仓库系统调度研究只局限于某一局部问题(或某一子系统)而不能全面考虑整个系统运行状况的问题,在分析已有调度策略的基础上提出了各子系统的优化调度策略,并应用有色时间 Petri 网(CTPN)进行建模。基于对各子系统的调度特点及其对整个自动化仓库系统的影响的分析,给出了使各子系统能够协调运行的系统整体上的优化调度策略,并采用仿真工具 CPN-Tools 对调度策略进行了仿真,仿真结果表明,所提出的调度策略可以提高系统的运行效率,可作为研究自动化仓库系统的调度问题的参考手段。
