1. Agerwala, T. (1979) Putting Petri nets to work.Computer, IEEE Computer Society, Los Alamitors, CA, December, 85?95.
2. AutoMod (1989) Auto Simulation Inc., Bountiful, Utah, USA.
3. Crockett, D., Desrochers, A., DiCesare, F. and Ward, T. (1987) Implementation of a Petri net controller for a machining workstation, report no. CH2413-3/87/0000/1861. IEEE.
4. Hsieh, S. and Lin, K.-H. M. (1991) AGVS mechanism, inProceedings of the 8th Conference of the Chinese Society of Mechanical Engineers in Taipei, November.
5. Hsieh, S. and Lin, K.-H. M. (1992) Building AGV traffic-control models with place-transition nets, to appear in theInternational Journal of Advanced Manufacturing Technology.