A comparison of the AGV control solution approaches using Petri nets

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 3, Issue , 2002, Pages 154-159

  Hrúz, Branislav ^a   Mrafko, Leo ^a   Bielko, Viktor ^a  

^a SLOVAK UNIVERSITY OF TECHNOLOGY   (Slovakia)

Author keywords

AGV transportation control; Colored Petri nets; Petri nets; Supervisory control

Indexed keywords

ALGORITHMS; CONTROL SYSTEMS; FLEXIBLE MANUFACTURING SYSTEMS; OPTIMIZATION; PETRI NETS; PROCESS CONTROL; SCADA SYSTEMS;

AUTOMATICALLY GUIDED VEHICLES (AGV);

REMOTELY OPERATED VEHICLES;

EID: 0038345987     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. S. Li, T. Takamori, and S. Tadokoro, "Scheduling and rescheduling of AGVs for flexible and agile manufacturing," in M.C.Zhou (Ed.) "Petri nets in Flexible and Agile Automation", Boston: Kluwer Academic Publishers, 1995, pp. 89-205.
2. A. Bechina, M. Kullman, and B. Keith, "A description logic model for the management of automated guided vehicles", in Preprints of the IFAC Conference Control Systems Design, Bratislava, Slovak Republic, June 18-20, 2000, pp. 355-360.
3. G. A. Koff, "Automatic guided vehicle systems: applications, controls and planning," in Material Flow, vol.4, pp. 3-16, 1987.
4. B. Hrúz, "A class of the timed Petri nets used for the solution of scheduling," in Preprints of the IFAC Conference Control Systems Design, Bratislava, Slovak Republic, June 18-20, 2000, pp. 361-365.
5. R. David and H. Alla, "Petri Nets and Grafcet," New York: Prentice Hall, 1992.
6. B. Hrúz, "Composition of conflict-free Petri net models for control of flexible manufacturing systems," in Preprints of the 13th IFAC World Congress, San Francisco, CA, vol. B, June 30-July 5, 1996, pp. 37-42.
7. J. O. Moody and P. J. Antsaklis, "Supervisory Control of Discrete Event Systems Using Petri Nets," Boston: Kluwer Academic Publishers, 1998.
8. T. Murata, "Petri nets: properties, analysis and applications," in Proc. IEEE, vol. 77, pp. 541-580, 1989.
9. K. Jensen, "Coloured Petri nets," Berlin: Springer, 1997.
10. G. Berthelot and L. Petrucci, "Specification and Validation of a concurrent system: An educational project," in Journal of Software Tools for Technology Transfer, vol. 3, pp. 372-381, 2001.