Skip to main content
SpringerLink
Log in

Extended Petri net-based modeling, analysis and simulation of an intelligent materials handling system

  • Published:
Journal of Intelligent and Robotic Systems Aims and scope Submit manuscript

Abstract

This paper describes, models, analyzes and simulates an intelligent materials handling system with diagnostic intelligence capabilities using Extended Petri Nets (EPNs). The important modeled system properties of safeness, liveness and reversibility, which guarantee that the system operates in a stable, deadlock free and cyclic manner are verified and illustrated through the simulation results, obtained through an EPN based software package. A real system, the USL CIM system, modified to function as an intelligent materials handling system with on-line adaptation capabilities is used as a case study.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Valavanis, K.P., On the hierarchical modeling, analysis and simulation of flexible manufacturing systems,IEEE Trans. Systems Man Cybernet. 20(1) (1990).

  2. Valavanis, K.P., Seetharaman, G., Bayoumi, M.A., and Mulder, M.C., On a distributed intelligence material handling system,IFAC Internat. Sympos. on Distributed Intelligence Systems, August 1991, Arlington, VA.

  3. Murata, T., Petri nets: properties, analysis and applications,Proc. IEEE 77(4) (April 1989).

  4. Chang, S.J., DiCesare, F., and Goldbogen, G., Failure propagation trees for diagnosis in manufacturing systems,IEEE Trans. Systems Man Cybernet. 21(4) (July/August 1991).

  5. Wang, F.Y., Kyriakopoulos, K.J., Tsolkas, A., and Saridis, G.N., A Petri net coordination model for an intelligent mobile robot,IEEE Trans. Systems Man Cybernet. 21(4) (July/August 1991).

  6. Peterson, J.L.,Petri Net Theory and Modeling of Applications, Prentice-Hall, Englewood Cliffs, 1981.

    Google Scholar 

  7. Jafari, M.A., An architecture for shop-floor controller using colored Petri nets, Dept. of Industrial Engineering, Rutgers University, Piscataway, NJ.

  8. Desrochers, A.A.,Modeling and Control of Automated Manufacturing Systems, IEEE Computer Society Press Tutorial, IEEE Computer Society Press, 1990.

  9. Kapasouris, P., Serfaty, D., Deckert, J.C., Wohl, J.G., and Pattipati K.R., Resource allocation and performance evaluation in large human-machine organizations,IEEE Trans. Systems Man Cybernet. 21(3) (May/June 1991).

  10. Beck, C.L. and Krogh, B.H., Models for simulation and discrete control of manufacturing systems,Proc. IEEE Internat. Conf. on Robotics and Automation, March 1986, pp. 305–310.

  11. Krogh, B.H. and Sreenivas, R.S., Essentially decision free Petri nets for real time resource allocation,Proc. IEEE Internat. Conf. on Robotics and Automation, April 1987, pp. 1005–1011.

  12. Ramchandani, C.. Analysis of asynchronous concurrent systems by timed Petri nets, Technical Report No. 120, Laboratory of Computer Science, MIT, Cambridge, MA, 1974.

    Google Scholar 

  13. Peterson, J.L., Petri nets,ACM Computing Surveys 9 (1977), 223–252.

    Google Scholar 

  14. Bruno, G. and Marchetto, G., Process-translatable Petri nets for the rapid prototyping of process control systems,IEEE Trans. Software Engineering SE-12 (February 1986).

  15. Gentina, J.C. and Corbeel, D., Colored adaptive structured Petri nets: A tool for the automatic synthesis of hierarchical control of FMSs,Proc. Internat. Conf. on Robotics and Automation, April 1987, pp. 1166–1173.

  16. Hillon, H.P., Performance evaluation of decisionmaking organizations using timed petri nets, Master's Thesis, Report LIDS-TH-1590, Laboratory for Information and Decision Systems, MIT, Cambridge, MA, August 1986.

    Google Scholar 

  17. Al-Jarr, R.Y. and Desrochers, A.A., Petri nets in automation and manufacturing, RPI, RAL Technical Report, RAL99, November 1987.

  18. Crocket, D.H. and Desrochers, A.A., Manufacturing workstation control using colored Petri nets, Technical Report No. 83, RAL, RPI, Troy, NY, August 1986.

    Google Scholar 

  19. Martinez, J., Muro, P., and Silva, M., Modeling, validation and software implementation of production systems using higher level Petri nets,Proc. IEEE Internat. Conf. on Robotics and Automation, April 1987, pp. 1180–1185.

  20. Schiffers, M. and Weddle, H., Analyzing program solutions of coordinated problems by CP nets, inMathematical Foundations of Computer Science, Lecture Notes in Computer Science, 64, Springer-Verlag, Berlin, 1978, pp. 463–473.

    Google Scholar 

  21. Narahari, Y. and Vishwanatham, N., On the invariants of colored Petri nets, inAdvances in Petri Nets 1985, Lecture Notes in Computer Science 222, Springer-Verlag, Berlin, 1985, pp. 330–345.

    Google Scholar 

  22. Al-Jarr, R.Y. and Desrochers, A.A., Modeling and analysis of transfer lines and production networks using generalized stochastic Petri nets,Proc. Conf. University Programs in Computer Aided Engineering, Design and Manufacturing, Atlanta, Georgia, June 1988.

  23. Kamath, M. and Vishwanatham, N., Applications of Petri net based models in the modeling and analysis of FMSs,Proc. IEEE Conf. on Robotics and Automation, April 1987.

  24. Sahroui, A., Atabakche, H., Courvoisier, M., and Valette, R., Joining Petri nets and knowledge based systems for monitoring purposes,Proc. IEEE Conf. on Robotics and Automation, April 1987.

  25. Zenie, A., Colored stochastic Petri nets,Performance'84, 1985.

  26. Brand, K.P. and Kopainsky, J., Principles and engineering of process control with Petri nets,IEEE Trans. Automat. Control 33(2) (February 1988).

  27. Johnson, A. and Malek, M., Rainbow nets for system analysis, Technical Report, TR51.0565, Univ. of Texas at Austin, 1989.

  28. Hotono, I., Katoh, N., Yamagata, K., and Tamura, H., Modeling of FMS under uncertainty using stochastic Petri nets,Proc. Third Internat. Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989.

  29. Billington, J., Many-sortred high level nets,Proc. Third Internat. Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989.

  30. Yaw, Y., Law, F., and Ju, W.D., The algorithm of a synthesis technique for concurrent systems,Proc. Third Internat. Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989.

  31. Ciardo, G., Muppala, J., and Trivedi, K.S., SPNP: stochastic Petri net package,Proc. Third Internat. Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989.

  32. Tabak, D. and Levis, A.H., Petri net representation of decision models,IEEE Trans. SMC SMC-15 (6), 812–818.

  33. Remy, P.A., Levis, A.H., and Jin, V.Y., On the design of distributed organizational structures, LIDS-P-1581, LIDS, MIT, Cambridge, MA.

  34. Weingaertner, S., A model of submarine emergency decision making and decision aiding, S.M. Thesis, LIDS, MIT, Cambridge, MA.

  35. Passino, K.M. and Antsaklis, P.J., AI planning problems in Petri net framework,Proc. 1988 American Control Conference, Atlanta, GA, June 1988.

  36. Passino, K.M. and Antsaklis, P.J., Planning via heuristic search in a Petri net framework,Proc. Third IEEE Internat. Sympos. on Intelligent Control, Arlington, VA, August 1988.

  37. Wang, F.Y. and Saridis, G.N., The coordination of intelligent machines: A case study,Proc. Third IEEE Internat. Sympos. on Intelligent Control, Albany, NY, September 1989.

  38. Wang, F.Y. and Saridis, G.N., A formal model for coordination of intelligent machines using Petri nets,Proc. Third IEEE Internat. Sympos. on Intelligent Control, Arlington, VA, August 1988.

  39. Dubois, D. and Stecke, K.E., Using Petri nets to represent production processes,Proc. 22nd CDC, December 1983, pp. 1062–1067.

  40. Zhou, M.C., DiCesare, F., and Desrochers, A.A., A top-down approach to systematic synthesis of Petri net models for manufacturing systems,Proc. IEEE Internat. Conf. on Robotic and Automation, Scottsdale, AZ, May 1989, pp. 534–539.

  41. McDermott, K.J. and Kamisetty, K.V., Development of an industrial engineering based flexible manufacturing system,Industrial Engineering Magazine, December. 1991.

  42. Silva, M. and Valette, R., Petri nets in flexible manufacturing, in G. Rozenberg (ed.),Advances in Petri Nets, Springer-Verlag, Berlin, 1990, pp. 375–417.

    Google Scholar 

  43. Zhou, M.C., A theory for the synthesis and augmentation of Petri nets in automation, Doctoral Dissertation, ECSE, Rensselear Polytechnic Institute, Troy, NY, 1990.

    Google Scholar 

  44. Pagnoni, A., Stochastic nets and performance evaluation, inAdvances in Petri nets, Part 1, Lecture Notes in Computer Science, 1986, pp. 461–478.

  45. Sreenivas, R.S. and Krogh, B.H., On Petri net models of infinite state supervisors,IEEE Trans. Automatic Control 37(2) (February 1992).

  46. Freedman, P., Time, Petri nets and robotics,IEEE Trans. Robotics and Automation 7(4) (August 1991).

  47. Zhou, M.C. and DiCesare, F., Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources,IEEE Trans. Robotics and Automation 7(4) (August 1991).

  48. Jensen, K. and Rozenberg, G. (eds.),High-Level Petri Nets, Springer-Verlag, Berlin, 1991.

    Google Scholar 

  49. Saridis, G.N., Intelligent Robotic Control,IEEE Trans. Automatic Control AC-28(5) (May 1983).

  50. Valavanis, K.P. and Saridis, G.N.,Intelligent robotic systems: Theory, Design and Applications, Kluwer Acad. Publ., Dordrecht, 1992.

    Google Scholar 

  51. Watson, J.F., III and Desrochers, A.A., Applying generalized stochastic Petri nets to manufacturing systems containing nonexponential transition functions,IEEE Trans. Systems Man Cybernet. 21(5) (1992).

Download references

Author information

Authors and Affiliations

  1. Intelligent Robotic Systems Laboratory The Center for Advanced Computer Studies, The University of Southwestern Louisiana Lafayette, 70504, LA, USA

    Kimon P. Valavanis, Srinivasan Ramaswamy & Steve P. Landry

Authors
  1. Kimon P. Valavanis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Srinivasan Ramaswamy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Steve P. Landry
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Valavanis, K.P., Ramaswamy, S. & Landry, S.P. Extended Petri net-based modeling, analysis and simulation of an intelligent materials handling system. J Intell Robot Syst 10, 79–108 (1994). https://doi.org/10.1007/BF01276706

Download citation

  • Received:

  • Accepted:

  • Issue Date:

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

Key words

Search

Navigation