Developing GAVS petri net control models from flowpath nets

摘要

The paper presents a control-based Petri net(PNs)mod- eling method that translates a high-level automated guided vehicle system(AGVS)flowpath net model into a low-level on/off control models systematically. The relation between a high-level AGVS flowpath net model and he equivalent low- level control net model is uniquely defined by introducing certain I/O control functions and station control macros into the net method. To ensure the uniqueness of the translation, the AGVS flowpath layout is first decomposed into con- stituent basic PN flowpath modules. By employing a modu- lar concept, the wiring layout of each basic flowpath mod ule is established.