摘要
阐述了利用着色赋时Petri网(CTPN)构建带有RGV小车和堆垛机等模块的物流自动化立体仓库(AS/RS)的系统建模方法,其中token(托肯)表示任务号、堆垛机和RGV小车,它们的颜色域则描述任务执行过程中的序列,并举例详细说明了应用该方法建立自动化立体仓库系统模块化框架的过程。
The theory and methods of modeling automated warehouse with colored timed Petri net (CTPN) are introduced, in which, a colored token represents a job piece, RGV or crane and the color of each token is the residual sequence of places for a job piece visiting. Furthermore, by an example, a modular and modeling framework for automated warehouse is described in detail.
出处
《机电工程技术》
2008年第2期34-38,63,共6页
Mechanical & Electrical Engineering Technology
