Planning and Scheduling based on Petri Nets

  • Jean-Marie Proth
  • Ioannis Minis
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 310)

Abstract

The objective of this chapter is to show that Petri nets facilitate a comprehensive approach to production management and reduce the complexity of the problems involved at the expense of some constraints imposed on the decision making system. The introduction provides a content outline of the chapter. In the second section, we introduce different aspects related to Petri nets which will be used in the approaches proposed for the short-term planning and scheduling of manufacturing systems. This section includes, but is not limited to, event graphs, decomposable Petri nets and controlable Petri nets. The third section focuses on cyclic manufacturing systems. For this type of systems, it is always possible to propose an event graph model which represents both the physical and the decision making systems. We use such a model to propose a near-optimal scheduling algorithm that maximizes productivity while minimizing the work-in-process (WIP) in the deterministic case. The approach used for non-cyclic manufacturing systems in the fourth section is different in the sense that only the manufacturing processes (i.e. the physical part of the system) and the related constraints are modeled using Petri nets. We use such a Petri net model to propose a short-term planning process which results in a trade-off between the computation burden and the level of resource utilization. The short-term planning model is then enhanced to obtain the scheduling model. The latter is used to develop an efficient scheduling algorithm that is able to satisfy the requirements imposed by short-term planning. Section five introduces a modular approach for modeling and managing manufacturing systems.

Keywords

Transportation Expense Tate 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    BACCELLI F., 1992, Ergodic theory of stochastic Petri networks, Annals of Probability, Vol. 20, No. 1, pp. 350–374.MathSciNetMATHCrossRefGoogle Scholar
  2. [2]
    CHRETIENNE P., 1983, Les Réseaux de Petri Temporisés, Univ. Paris VI, Paris, France, Thèse d’Etat.Google Scholar
  3. [3]
    COMMONER F., HOLT A., EVEN S. and PNUELI A., 1971, Marked directed graphs, J. tof Comp. and Syst. Sci., Vol. 5, No. 5, pp. 511–523.MathSciNetMATHCrossRefGoogle Scholar
  4. [4]
    DICESARE F. et al., 1993, Practice of Petri Nets in Manufacturing, ISBN 0 412 41230 6, CHAPMAN and HALL.Google Scholar
  5. [5]
    DI MASCOLO M., FREIN Y., DALLERY Y. and DAVID R., September 1989, A Unified Modeling of Kanban Systems Using Petri Nets, Technical Report No. 89-06, LAG, Grenoble, France.Google Scholar
  6. [6]
    GENRICH H.J. and LAUTENBACH K., 1981, System modeling with high-level Petri nets, Theoret. Comput. Sci., Vol. 13, pp. 109–136.MathSciNetMATHCrossRefGoogle Scholar
  7. [7]
    HARHALAKIS G., LEVENTOPOULOS M., LIN C.P., NAGIR. and PROTH J.M., October 1992, A class of conflict free Petri nets used for controlling manufacturing systems, Technical Research Report No. TR 92-90, Institute for Systems Research, The University of Maryland at College Park.Google Scholar
  8. [8]
    HILLION H. and PROTH J.M., January 1989, Performance Evaluation of Job-Shop Systems Using Timed Event-Graphs, IEEE Trans. Automat. Contr., Vol. 34, No. 1, pp. 3–9.MathSciNetMATHCrossRefGoogle Scholar
  9. [9]
    JENSEN K., Coloured Pern nets and the invariant method, Theoret. Comput. Sci., Vol. 14, pp. 317–336, 1981.MathSciNetMATHCrossRefGoogle Scholar
  10. [10]
    KIRKPATRICK S., GELATT CD. and VECCHI M.P., May 1983, Optimization by simulated annealing, Science, Vol. 220, 13.Google Scholar
  11. [11]
    LAFTIT S., PROTH J.M. and XIE X.L., 1992, Optimization of invariant criteria for event graphs, IEEE Trans. on Aut. Control, Vol. 37, No. 5, pp. 547–555.MathSciNetMATHCrossRefGoogle Scholar
  12. [12]
    LUNDY M. and MEES A., 1986, Convergence of an annealing algorithm, Mathematical Programming, Vol. 34, pp. 111–124.MathSciNetMATHCrossRefGoogle Scholar
  13. [13]
    MURATA T., April 1989, Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol. 77, No. 4, pp. 541–580.CrossRefGoogle Scholar
  14. [14]
    PROTH J.M. and XIE X.L., July 1994, Performance evaluation and optimization of stochastic timed event graphs, to appear in IEEE Trans. on Aut. Control.Google Scholar
  15. [15]
    RAMCHANDANI C., 1974, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Technical Report 120, Lab. Comput. Sci., Mass. Inst. Technol. Cambridge, MA.Google Scholar
  16. [16]
    RAMAMOORTHY C.V. and HO G.S., 1980, Performance Evaluation of Asynchronous Concurrent Systems using Petri Nets, IEEE Trans. Software Eng., Vol. SE-6, No. 5, pp. 440–449.MathSciNetCrossRefGoogle Scholar
  17. [17]
    REISIG W., 1983, Petri nets with individual tokens, Informatik-Fachberichte, Vol. 66, No. 21, pp. 229–249.MathSciNetCrossRefGoogle Scholar
  18. [18]
    J. SIFAKIS, 1982, A Unified Approach for Studying the properties of Transition Systems, Theoret. Comput. Sci., Vol. 18, pp. 227–258.MathSciNetMATHCrossRefGoogle Scholar
  19. [19]
    ZHOU M. and DI CESARE F., 1993, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publisher, Boston, MA.Google Scholar

Copyright information

© Springer Science+Business Media New York 1995

Authors and Affiliations

  • Jean-Marie Proth
    • 1
    • 2
  • Ioannis Minis
    • 2
  1. 1.Technopôle Metz 2000INRIA-LorraineMetzFrance
  2. 2.Institute for Systems ResearchUniversity of MarylandUSA

Personalised recommendations