Skip to main content
SpringerLink
Log in

Principles of system modeling

  • Chapter
Practice of Petri Nets in Manufacturing

Abstract

A manufacturing system is composed of two main parts: the physical system and the management system. Hereafter, the latter is also referred to as the control system or the decision-making system (DMS).

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 99.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.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.

Bibliography

  • Agerwala, T. and Choed-Amphai, Y. A synthesis rule for concurrent systems. Proceedings of the 15th Design Automation Conference. Las Vegas, NV, pp. 305–311, June 1978.

    Google Scholar 

  • Alaiwan, H. and Toudic, J. M. Recherche des semi-flots, des verrous et des trappes dans les réseaux de Petri. Techniques et Science Informatiques, vol. 4, no. 1, pp. 103–112, 1985.

    MATH  Google Scholar 

  • Baccelli, F. Ergodic theory of stochastic Petri networks. INRIA Research Report No. 1037, May 1989.

    Google Scholar 

  • Benson, H. P. A finite algorithm for concave minimization over a polyhedron. Navicular Respect Logis., vol. 32, pp. 165–177, 1985.

    Article  MathSciNet  MATH  Google Scholar 

  • Chrétienne, P. Les réseaux de Petri temporisés. Université de Paris VI, Paris, France, Thèse d’Etat, 1983.

    Google Scholar 

  • Claver, J. F., Harhalakis, G., Proth, J. M., Savi, V. M. and Xie, X. L. A step-wise specification of a manufacturing system using Petri nets. Conference IEEE Systems, Man and Cybernetics, Charlotte, Virginia, October 1991.

    Google Scholar 

  • Commoner, F., Holt, A., Even, S. and Pnueli, A. Marked directed graphs. Journal of Computer and System Science, vol. 5, no. 5, 1971.

    Google Scholar 

  • Di Mascolo, M., Frein, Y., Dallery, Y. and David, R. A Unified Modeling of Kanban Systems using Petri Nets. Technical Report No. 89-06, LAG. Grenoble, France, September 1989.

    Google Scholar 

  • Hillion, H. P. and Proth, J. M. Performance evaluation of job-shop systems using timed event-graphs. IEEE Transactions on Automatic Control, vol. 34, no. 1, pp. 3–9, 1989.

    Article  MathSciNet  MATH  Google Scholar 

  • Holloway, L. E. and Krogh, B. H. Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Transactions on Automatic Control, vol. 35, no. 5, May 1990.

    Google Scholar 

  • Koh, I. and DiCesare, F. Transformation methods for generalized Petri nets and their application in flexible manufacturing systems. Proceedings of the 2nd International Conference of the CIM, Reusselaer Polytechnic Institute, Troy, NY, May 1990.

    Google Scholar 

  • Krogh, B. H. and Beck, C. L. Synthesis of place/transition nets for simulation and control of manufacturing systems. Proceedings of the IFIP Symposium on Large Scale Systems, Zurich, August 1986.

    Google Scholar 

  • Laftit, S., Proth, J. M. and Xie, X. Optimization of invariant criteria for event graphs. IEEE Transactions on Automatic Control, May 1992.

    Google Scholar 

  • Mu Der Jeng and DiCesare, F. A review of synthesis techniques for Petri nets. Proceedings of the International Conference on Computer Integrated Manufacturing, Troy, NY, pp. 348–355, 1990.

    Google Scholar 

  • Murata, T. Petri nets: properties, analysis and applications. Proceedings of the IEEE, vol. 77, no. 4, April 1989.

    Google Scholar 

  • Narahari, Y. and Visvanadham, N. A Petri net approach to the modeling and analysis of flexible manufacturing systems. Annals of O.R., vol. 3, pp. 449–472, 1985.

    Article  Google Scholar 

  • Peterson, J. L. Petri Nets Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ, 1981.

    Google Scholar 

  • Ramamoorthy, C. V. and Ho, G. S. Performance evaluation of asynchronous concurrent systems using Petri nets. IEEE Trans. Software Eng., vol. SE-6, no. 5, pp. 440–449, 1980.

    Article  MathSciNet  Google Scholar 

  • Ramchandani, C. Analysis of asynchronous concurrent systems by timed Petri nets. Laboratory of Computer Science, Massachusetts Institute of Technology, Cambridge, MA, Tech. Rep. 120, 1974.

    Google Scholar 

  • Sifakis, J. A unified approach for studying the properties of transition systems. Theoretical Computer Science, vol. 18, pp. 227–258, 1982.

    Article  MathSciNet  MATH  Google Scholar 

  • Van Thoai, N. and Tuy, H. Convergent algorithms for minimizing a concave function. Mathematics of Operations Research, vol. 5, no. 4, pp. 556–566, 1980.

    Article  MathSciNet  MATH  Google Scholar 

  • Warland, J. An Introduction to Queueing Networks. Prentice-Hall, Englewood Cliffs, NJ, 1988.

    Google Scholar 

Download references

Authors
  1. J. M. Proth
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1993 F. DiCesare, G. Harhalakis, J. M. Proth, M. Silva and F. B. Vernadat

About this chapter

Cite this chapter

Proth, J.M. (1993). Principles of system modeling. In: Practice of Petri Nets in Manufacturing. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-6955-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-6955-4_2

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-011-6957-8

  • Online ISBN: 978-94-011-6955-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation