Production management in a Petri net environment
RAIRO - Operations Research - Recherche Opérationnelle, Special Issue on Complexity and Industrial Systems, Tome 29 (1995) no. 3, pp. 321-352. 
@article{RO_1995__29_3_321_0,
     author = {Proth, Jean-Marie and Minis, Ioannis},
     title = {Production management in a {Petri} net environment},
     journal = {RAIRO - Operations Research - Recherche Op\'erationnelle},
     pages = {321--352},
     publisher = {EDP-Sciences},
     volume = {29},
     number = {3},
     year = {1995},
     zbl = {0848.90066},
     language = {en},
     url = {http://archive.numdam.org/item/RO_1995__29_3_321_0/}
}
TY  - JOUR
AU  - Proth, Jean-Marie
AU  - Minis, Ioannis
TI  - Production management in a Petri net environment
JO  - RAIRO - Operations Research - Recherche Opérationnelle
PY  - 1995
SP  - 321
EP  - 352
VL  - 29
IS  - 3
PB  - EDP-Sciences
UR  - http://archive.numdam.org/item/RO_1995__29_3_321_0/
LA  - en
ID  - RO_1995__29_3_321_0
ER  - 
%0 Journal Article
%A Proth, Jean-Marie
%A Minis, Ioannis
%T Production management in a Petri net environment
%J RAIRO - Operations Research - Recherche Opérationnelle
%D 1995
%P 321-352
%V 29
%N 3
%I EDP-Sciences
%U http://archive.numdam.org/item/RO_1995__29_3_321_0/
%G en
%F RO_1995__29_3_321_0
Proth, Jean-Marie; Minis, Ioannis. Production management in a Petri net environment. RAIRO - Operations Research - Recherche Opérationnelle, Special Issue on Complexity and Industrial Systems, Tome 29 (1995) no. 3, pp. 321-352. http://archive.numdam.org/item/RO_1995__29_3_321_0/

1. P. Chrétienne, Les Réseaux de Petri Temporises, Univ. Paris VI, Paris, France, Thèse d'État, 1983.

2. F. Commoner, A. Holt, S. Even and A. Pnueli, Marked directed graphs, J. of Comp. and Syst. Sci., 1971, Vol. 5, No.5, pp. 511-523. | MR | Zbl

3. F. Di Cesare et al., Practice of Petri Nets in Manufacturing, ISBN 0412412306, CHAPMAN and HALL Eds., 1993.

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

5. M. R. Garey and D. S. Johnson, Computers and intractability, A guide for the theory of NP-completeness, W.H. Freeman and Company, 1979. | MR | Zbl

6. H. J. Genrich and K. Lautenbach, System modelling with high-level Petri nets, Theoret. Comput. Sci., 1981, Vol. 13, pp. 109-136. | MR | Zbl

7. G. Harhalakis, M. Leventopoulos, C. P. Lin, R. Nagi and J. M. Proth, 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, October 1992.

8. H. Hillion and J. M. Proth, Performance Evaluation of Job-Shop Systems Using Timed Event-Graphs, IEEE Trans. Automat. Contr., January 1989 Vol. 34, No. 1, pp. 3-9. | MR | Zbl

9. K. Jensen, Coloured Petri nets and the invariant method, Theoret. Comput. Sci., 1981, Vol. 14, pp. 317-336. | MR | Zbl

10. S. Kirkpatrick, C. D. Gelatt and M. P. Vecchi, Optimization bysimulated annealing, 1983, Science, Vol. 220, 13 May.

11. S. Laftit, J. M. Proth and X. L. Xie, Optimization of invariant criteria for event graphs, IEEE Trans. on Aut. Control., 1992, Vol. 37, No. 5, pp. 547-555. | MR | Zbl

12. M. Lundy and A. Mess, Convergence of an annealing algorithm, Mathematical Programming, 1986, Vol. 34, pp. 111-124. | MR | Zbl

13. T. Murata, Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE; April 1989, Vol. 77, No. 4, pp. 541-580.

14. J. M. Proth and X. L. Xie, Cycle time for stochastic event graphs: Evaluation and marking optimization, IEEE Trans, on Aut. Control, July 1994. Vol. 39, No. 7. | MR | Zbl

15. C. Ramchandani, Analysis of Asynchronous Concurrent Sxstems by Timed Petri Nets, Lab. Comput. Sci. Mass. Inst. Technol. Cambridge, MA, Tech. Rep. 120, 1974.

16. C. V. Ramamoorthy and G. S. Ho, Performance Evaluation of Asynchronous Concurrent Systems using Petri Nets, IEEE Trans. Software Eng., 1980, Vol. SE-6, No. 5, pp. 440-449. | MR | Zbl

17. W. Reisig, Petri nets with individual tokens, Informatik-Fachberichte, 1983, Vol. 66, No. 21, pp. 229-249. | MR | Zbl

18. J. Sifakis, A Unified Approach for Studying the properties of Transition Systems, 1982, Theoret. Comput. Sci., Vol. 18, pp. 227-258. | MR | Zbl

19. M. Zhou and F. Di Cesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publisher, Boston, MA, 1993. | Zbl