Production management in a Petri net environment

The objective of this paper is to show that Pétri nets facilitate a comprehensive approach to production management and allows us to reduce the complexity of the problems involved at the expense of some constraints imposed on the décision making System. The first part of the paper focuses on cyclic manufacturing Systems. For this type of Systems, iî is always possible to propose an event graph model which represents both the physical and the décision 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 usedfor non-cyclic manufacturing Systems is different in the sensé that only the manufacturing processes fi.e. the physical part of the System) and the related constraints are modelled using Pétri nets. We use such a Pétri 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.

[1]  Jean-Marie Proth,et al.  Cycle time of stochastic event graphs: evaluation and marking optimization , 1994, IEEE Trans. Autom. Control..

[2]  Wolfgang Reisig,et al.  Petri Nets with Individual Tokens , 1982, Theor. Comput. Sci..

[3]  Amir Pnueli,et al.  Marked Directed Graphs , 1971, J. Comput. Syst. Sci..

[4]  Jean-Marie Proth,et al.  Performance evaluation of job-shop systems using timed event-graphs , 1989 .

[5]  David S. Johnson,et al.  Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .

[6]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[7]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[8]  Xiaolan Xie,et al.  Optimisation of invariant criteria for event graphs , 1992 .

[9]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[10]  Joseph Sifakis,et al.  A Unified Approach for Studying the Properties of Transition Systems , 1982, Theor. Comput. Sci..

[11]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[12]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[13]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[14]  Alistair I. Mees,et al.  Convergence of an annealing algorithm , 1986, Math. Program..

[15]  Yves Dallery,et al.  A unified modeling of Kanban systems using petri nets , 1991 .

[16]  Rakesh Nagi,et al.  A Class of Conflict Free Petri Nets Used for Controlling Manufacturing Systems , 1992 .