Skip to main content
SpringerLink
Log in

Petri Nets for Designing Manufacturing Systems

  • Chapter
Computer-Assisted Management and Control of Manufacturing Systems

Part of the book series: Advanced Manufacturing ((ADVMANUF))

Abstract

Petri nets (PN) are a graphic-mathematical tool which can be used for modelling and analyzing manufacturing systems. The dynamic behaviour of a complex discrete-event system may be readily visualized through PN, which can simulate the system’s evolution, analyze its synchronism, describe task concurrency and parallelism, and verify the reachability of a state by means of mathematical analysis. Besides having all the above characteristics as a modelling tool, the PN model of the system may be used for its qualitative — functional — and quantitative performance — analysis, thus becoming an advantageous instrument for validation during the design process of Flexible Production Systems (FPS). Indeed, through model validation and verification with PN, the user of the FMS/FAS can rearrange system specifications and objectives due to the easy descriptive characteristics of the PN. In the authors’ opinion, it is very important to develop the modelling, analysis and implementation of FPS simultaneously, for none of these processes can be adequately developed independently.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Alla H., Ladet P., Martinez J. and Silva M. (1984). Modelling and Validation of Complex Systems by Coloured Petri Nets. Lecture Notes on Computer Science 188. Advances in Petri Nets 1984. Springer-Verlag, pp.15–29.

    Google Scholar 

  • Brand K.P. and Kpoansky J. (1988). Principles and Engineering of Process Control with Petri Nets. IEEE Trans. on Automatic Control. V.33, no.2, pp.138–149.

    Article  MATH  Google Scholar 

  • Campos J. (1990). Performance Bounds for Synchronized Queueing Networks. (Doctoral Thesis). Dept. de Ingenieria Eléctrica e Informatica. Univ. de Zaragoza. España.

    Google Scholar 

  • Cao T. and Sanderson A.C. (1992). Sensor-based Error Recovery for Robotic Task Sequences Using Fuzzy Petri Nets. IEEE International Conference on Robotics and Automation. Vol. 2. pp. 1063–1069. Nice, France.

    Google Scholar 

  • Cao T. and Sanderson A.C. (1995). Task sequence Planning Using Fuzzy Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics. V. 25. No 5. pp.755–768.

    Article  Google Scholar 

  • Carelli R., Colombo A.W., Bernhard R. and Schreck G. (1995). Discrete Event and Motion Oriented Simulation for FMS. BASYS’95, Vitoria, Brasil. Balanced Automation Systems, Architectures and Design Methods, Ed. Chapman and Hall, pp. 107–120.

    Google Scholar 

  • Chao D.Y., Zhou M.C. and Wang D.T. (1992). Extending Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems. Proc. Rensselaer’s Third Conf. on Computer Integrated Manufacturing. Troy NY, pp.56–63.

    Google Scholar 

  • Chiola G. (1987). GreatSPN, User’s Manual. Versión 1.3. Dipanamento di Informática. Universita degli Studi di Torino. Italy.

    Google Scholar 

  • Cofer D. and Garg V. (1992). A Timed Model for the Control of Discrete Event Systems Involving Decisions in the Max/Plus Algebra. Proc. of the 31st. Conference on Decision and Control, pp.3363–3368. Arizona, USA.

    Google Scholar 

  • Colombo A.W. (1994a). Modelling and Analysis of Flexible Production Systems (in Spanish). MsC. Thesis, Univ. Nac. San Juan, Ed. Fund. UNSJ, Argentina.

    Google Scholar 

  • Colombo A.W., Martinez J. and Carelli R. (1994b). Formal Specification and Validation of Complex Production System using Coloured Petri Nets. Proceedings of the IEEE — International Conference on Robotics and Automation ICRA’ 94. Vol. 2, S. 1713–1718. California, USA.

    Google Scholar 

  • Colombo A.W., Pellicer J., Martin M. and Kuchen B. (1994c). FMS Simulator by using Temporized Petri Nets (in Spanish). 6o Congreso Latino Americano de Control Automático, vol. 1, pp.100–102. Rio de Janeiro. Brasil.

    Google Scholar 

  • Colombo A.W., Martínez J. and Kuchen B. (1994d). Formal Specification and Validation of a FIFO Module using Coloured Petri Nets. Proc. IEEE Int. Symp. on Industrial Electronics, ISIE—94, pp.231–235, Santiago, Chile.

    Google Scholar 

  • David R. and Alla H. (1992). Petri nets & Grafcet: Tools for modelling discrete event systems. Prentice Hall.

    Google Scholar 

  • David R. and Alla H. (1993). Autonomous and Timed Continuous Petri Nets. Lectures on Computer Science. Advances in Petri Nets. pp. 71–90. Springer-Verlag.

    Google Scholar 

  • David R. and Alla H. (1994). Petri Nets for Modeling of Dynamic Systems — A Survey. Automatica. Vol. 30, No 2, pp. 175–202.

    Article  MathSciNet  MATH  Google Scholar 

  • Ezpeleta J. and Martínez J. (1991). Petri Nets as a Specification Language for Manufacturing Systems. 13th. IMACS World Congress on Computation and Applied Mathematics. Dublin.

    Google Scholar 

  • Feldmann K., Colombo A.W. and Schnur C. (1995). An Approach for Modelling, Analysis and Real-Time Control of Flexible Manufacturing Systems using Petri Nets. Proceedings of the 7th European Simulation Symposium. ESS’95, pp.661–665. Erlangen, Germany.

    Google Scholar 

  • Ferrarmi L. (1992). An Incremental Approach to Logic Controller Design with Petri Nets. IEEE Trans. on Syst., Man, and Cybernetics. 22(3), pp.461–473.

    Article  Google Scholar 

  • Freedman P. (1991). Time, Petri Nets and Robotics. IEEE Trans. on Rob. and Autom., vol.7, no.4, pp.417–433.

    Article  Google Scholar 

  • Furukawa C.M., Marchese M. and Miyagi P. (1990). Methods and Techniques for PLCs Efficient Programming in Complex Applications (in Portuguese). Proceedings of the IV Latinamerican Congress of Automatic Control, pp.250–255. Puebla, Mexico.

    Google Scholar 

  • Gomes L., Steiger-Garcao A., Gama L., and Correia N. (1993). Controllers Programming by Means of Petri Nets (in Portuguese). Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa.

    Google Scholar 

  • Hack M. (1975). Petri Nets Languages. Comput. Struct. Gr. Memo 124. Project HAC. M.I.T. Cambridge Mass.

    Google Scholar 

  • Haddad S. and Couvreur J.M. (1988). Towards a General and Powerful Computation of Flows for Parametrized Coloured Nets. 9th. European Workshop on Applications and Theory of Petri Nets. Venice, Italy.

    Google Scholar 

  • Hasegawa K., Takahashi K. and Miyagi P. (1988). Application of the Mark Flow Graph to Represent Discrete Event Production Systems and System Control. Trans. of SICE, Vol. 24, No1. Japan.

    Google Scholar 

  • IEEE (1989). Proceedings of the 3rd. International Workshop on Petri Nets and Performance Models. Kyoto. Japan.

    Google Scholar 

  • Jarschel W., Drebinger A. and Bolch G. (1992). Modellierung von Fertigungssystemen mit dem Petri-Netz Simulator PETSY. Witschaftsinformatik, 34, Jahrgang, Heft 5,S. 535–545.

    Google Scholar 

  • Jeng M. and DiCesare F. (1992). A Modular Petri Net Synthesis Approach for Automated Manufacturing Systems. Proc. Japan USA Symp. on Flexible Automation, San Fransisco CA, pp.1163–1170.

    Google Scholar 

  • Jeng M. and DiCesare F. (1993). A Review of Synthesis Techniques for Petri Nets with Applications to Manufacturing Systems. IEEE Trans. Syst., Man, and Cyber., vol.23, no.1, pp.301–312.

    Article  MathSciNet  MATH  Google Scholar 

  • Jensen K. (1981). Coloured Petri Nets and the Invariant Method. Theoretical Computer Science 14. North-Holland, Amsterdam, pp.317–336.

    Google Scholar 

  • Jensen K. (1992). Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol.1, Monographs and Theoretical Computer Sciences. Springer-Verlag.

    Google Scholar 

  • Le Bail J., Alla, H. and David R. (1992). Asymptotic Continuous Petri Nets: An Efficient Approximation of Discrete Event Systems. Proceedings IEEE International Conference on Robotics and Automation. V.2. pp.1050–1056. Nice, France.

    Google Scholar 

  • Marsan M.A. (1989). Stochastic Petri Nets: An Elementary Introduction. Advances in Petri Nets 1989, pp.1–29. Springer-Verlag.

    Google Scholar 

  • Marsan M.A., Balbo G., Conte G., Donatelli S. and Franceschinis G. (1995). Modelling with Generalized Stochastic Petri Nets. Wiley Series on Parallel Computing.

    Google Scholar 

  • Martinez J., Muro P. and Silva M. (1987). Modelling, Validation and Software Implementation of Production Systems using High-Level Petri Nets. Proc. IEEE Int. Conf. on Robotics and Autom., Raleigh, North Carolina, pp.1180–1185.

    Google Scholar 

  • Miyagi P. E. (1988). Control System Design, Programming and Implementation for Discrete Event System by Using Mark Flow Graphs. Doctoral Thesis, Tokyo Institute of Technology, Japan.

    Google Scholar 

  • Miyagi P. E. (1993). Discret Event Systems Control (in Portuguese). VI Escuela de Robótica. CINVESTAV. 1993.

    Google Scholar 

  • Molloy M. (1982). Performance Analysis using Stochastic Petri Nets. IEEE Trans. on Comp., vol. c–31, no.9, pp.913–917.

    Article  Google Scholar 

  • Murata T. (1989). Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, vol.77, no.4, pp.541–580.

    Google Scholar 

  • Peterson J.L. (1981). Petri Net Theory and the Modelling of Systems. Prentice-Hall Inc., Englewood Cliffs, N.J.

    MATH  Google Scholar 

  • Ramaswamy, S. and Valavanis, K. P. (1994). Modeling, Analysis and Simulation of Failures in a Materials Handling System With Extended Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics. V. 24. No9. pp. 1358–1373.

    Article  Google Scholar 

  • Ramchandani C. (1974). Analysis of Asynchronous Concurrent Systems by Petri Nets. PhD dissertation, L.C.M./MIT, Cambridge, USA.

    Google Scholar 

  • Sifakis J. (1977). Use of Petri Nets for Performance Evaluation. H. Beilner and E. Gelenbe, Eds. Measuring, Modelling and Evaluation of Computer Systems. New York: North-Holland, pp.75–93.

    Google Scholar 

  • Silva M. and Velilla. (1982). Programmable Logic Controllers and Petri Nets: A Comparative Study. IFAC Software for Computer Control. Madrid, Spain.

    Google Scholar 

  • Silva M. (1985). Las Redes de Petri en la Automatica y la Informática. Editorial AC, Madrid, Spain.

    Google Scholar 

  • Silva M. and Valette R. (1989). Petri Nets and Flexible Manufacturing Systems. Advances in Petri Nets, Springer-Verlag, pp.374–417.

    Google Scholar 

  • Silva R. and Miyagi P. (1995). PFS/MFG: A High Level Net for the Modeling of Discrete Manufacturing Systems. BASYS’95, Vitoria, Brasil. Balanced Automation Systems, Architectures and Design Methods. Ed. Chapman and Hall. pp. 107–120.

    Google Scholar 

  • Tomeco, Ingeniería. Solar Heating Equipments. Product catalog, Argentina, 1995.

    Google Scholar 

  • Treviño A.R. (1990). Task Modelling and Controllers Specifications in Robotic Cells (in Spanish). MsC Thesis, CINVESTAV, México.

    Google Scholar 

  • Villaroel J. (1990). Integración Informática del Control en Sistemas Flexibles de Fabricación. Doctoral thesis, Informatics and Electrical Eng. Dept., University of Zaragoza, Spain.

    Google Scholar 

  • Zhou M. (1990a). A Theory for the Synthesis and Augmentation of Petri Nets in Automation. Doctoral Dissertation, ECSE, Rensselaer Polytechnic Institute, Troy NY.

    Google Scholar 

  • Zhou M. and DiCesare F.A. (1990b). Petri Net Design Method for Automated Manufacturing Systems with Shared Resources. Proc. of 1990 IEEE Int. Conf. on Robotics and Autom, Cincinnati OH, pp.526–531.

    Google Scholar 

  • Zhou M.C., DiCesare F. and Rudolph D. (1990c). Control of Flexible Manufacturing System using Petri Nets. 11th. IFAC World Congress, Tallinn, Estonia.

    Google Scholar 

  • Zhou M., DiCesare F. and Desrochers A. (1992a). A Hybrid Methodology for Synthesis of Petri Net Models for Manufacturing Systems. IEEE Trans. on Robotics and Autom., vol.8, no.3, pp.350–361.

    Article  Google Scholar 

  • Zhou M., DiCesare F. and Rudolph D. (1992b). Design and Implementation of a Petri Net Supervisor for a Flexible Manufacturing System. Automatica, vol. 28, No67, pp.1199–1208.

    Article  MathSciNet  MATH  Google Scholar 

  • Zho M.C. (1992c). Computer-aided Modeling, Analysis and Design of Discrete Event Systems using Petri Net. Proc. 1992 IEEE Symp. on Computer Aided Control System Design (CACSD’ 92). Napa CA, pp.255–261.

    Google Scholar 

  • Zhou M.C. and DiCesare F. (1993). Petri Nets Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, Boston, MA.

    Book  Google Scholar 

  • Zurawsky R. (1992). A Class of Petri Net Models used to Represent Primary Components of Flexible Manufacturing Systems. Proc. Japan USA Symp. on Flexible Automation, San Francisco CA, pp.1695–1702.

    Google Scholar 

Download references

Authors
  1. A. W. Colombo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Carelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical and Computer Engineering, Intelligent Robotics and Automation Laboratory, National Technical University of Athens, 15773 Zographou, Athens, Greece

    Spyros G. Tzafestas DSc, PhD, MSc, CEng, FIEE, FIEEE

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag London Limited

About this chapter

Cite this chapter

Colombo, A.W., Carelli, R. (1997). Petri Nets for Designing Manufacturing Systems. In: Tzafestas, S.G. (eds) Computer-Assisted Management and Control of Manufacturing Systems. Advanced Manufacturing. Springer, London. https://doi.org/10.1007/978-1-4471-0959-4_11

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-0959-4_11

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-76110-5

  • Online ISBN: 978-1-4471-0959-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation