论文部分内容阅读
采用层次着色Petri网研究了物资储配系统的调度问题.用首层Petri网给出了系统运行过程的总体宏观描述,在层次Petri网子页中对固定货架子系统、旋转货架子系统、分拣子系统和输送子系统的动态行为进行了详细刻画.在CPN-Tools仿真环境中分析了系统的整体动态特性,给出并验证了系统的总体调度策略.