Skip to main content
Log in

Building AGV traffic-control models with place-transition nets

  • Published:
The International Journal of Advanced Manufacturing Technology Aims and scope Submit manuscript

Abstract

Owing to the lack of robust design and control algorithms, most current applications of automated guided vehicle systems (AGVSs) employ simple control methods despite the fact that the system is far from efficient. Recently, Petri nets have evolved into a powerful tool for modelling complex manufacturing systems. One of the advantages of the use of Petri nets is that analysis, simulation and on-line control can all be done on the same model once the model is built. The purpose of this paper is to establish the research fundamentals in the field of the Petri-net modelling of an AGVS. The main contribution of the paper is to define basic traffic-control nets which can be used directly to model an AGVS without too much thinking. Some basic AGV Petri-net control elements are described and illustrated in detail. Also, difficulties in the use of bidirectional flows are discussed, and it has been determined how Petri nets can be used to solve these problems.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. G. A. Koff, “Automatic guided vehicle systems: applications, controls and planning”,Material Flow,4(4), pp. 3–16, 1987.

    Google Scholar 

  2. P. J. Egbelu and J. M. A. Tanchoco, “Potentials for bi-directional guidepath for automated guided vehicle based systems”,International Journal of Production Research,24(5), pp. 1075–1097, 1986.

    Google Scholar 

  3. P. J. Egbelu and J. M. A. Tanchoco, “Characterization of automatic guided vehicle dispatching rules”,International Journal of Production Research,22(3), pp. 359–374, 1984.

    Google Scholar 

  4. G.-C. Vosniakos and B. J. Davies, “On the path layout and operation of an AGV system serving an FMS”,International Journal of Advanced Manufacturing Technology,4(3), pp. 243–262, 1989.

    Article  Google Scholar 

  5. W. L. Maxwell and J. A. Muckstadt, “Design of automatic guided vehicle systems”,IIE Transactions,14(2), pp. 114–124, 1982.

    Google Scholar 

  6. L. C. Leung, S. K. Khator and D. L. Kimbler, “Assignment of AGVS with different vehicle types”,Material Flow,4(4), pp. 65–72, 1987.

    Google Scholar 

  7. T. J. Hodgson, R. E. King and S. K. Monteith, “Developing control rules for an AGVS using Markov decision processes”,Material Flow,4(4), pp. 85–96, 1987.

    Google Scholar 

  8. J. L. Peterson,Petri Net Theory and the Modelling of Systems, Prentice-Hall, Englewood Cliffs, NJ, 1981.

    MATH  Google Scholar 

  9. M. Kamath and N. Viswanadham, “Applications of Petri net based models in the modelling and analysis of flexible manufacturing systems” report no. CH2282-2/86/000/0312, IEEE, 1986.

  10. J. Martinez, H. Alla and M. Silva, “Petri nets for the specification of FMSs”,Modelling and Design of Flexible Manufacturing Systems, Elsevier Science Publishers BV, Amsterdam, pp. 389–406, 1986. Editor: Andrew Kusiak.

    Google Scholar 

  11. D. Crockett, A. Desrochers, F. DiCesare and T. Ward, “Implementation of a Petri net controller for a machining workstation”, report no. CH2413-3/87/0000/1861, IEEE, 1987.

  12. T. Murata, “State equation, controllability and maximal matchings of Petri nets”,IEEE Transactions on Automatic Control, AC-22 (3), June, 1977.

  13. H. J. Genrich, “Predicate-transition nets”,Lecture Notes in Computer Science, Springer-Verlag,254, pp. 207–247, September 1986. Editors: W. Brauer, W. Reisig, G. Rozenberg.

  14. K. Jensen, “Colored Petri nets and the invariant method”,Theoretical Computer Science,14(14), pp. 317–336, 1981.

    Article  MATH  MathSciNet  Google Scholar 

  15. K. Lautenbach, “Linear algebraic techniques for place/transition nets”,Lecture Notes in Computer Science. Springer-Verlag, Vol 254, pp. 142–167, September 1986. Editors: W. Brauer, W. Reisig, G. Rozenberg.

    Article  Google Scholar 

  16. W. Reisig, “A strong part of concurrency”,Lecture Notes in Computer Science. Springer-Verlag, Vol. 266, pp. 238–272, 1987. Editors: G. Rozenberg, 1987.

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hsieh, S., Lin, K.H.M. Building AGV traffic-control models with place-transition nets. Int J Adv Manuf Technol 6, 346–363 (1991). https://doi.org/10.1007/BF02601634

Download citation

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02601634

Keywords

Navigation