no. 3
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},
     year = {1995},
     publisher = {EDP Sciences},
     volume = {29},
     number = {3},
     zbl = {0848.90066},
     language = {en},
     url = {https://www.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  - https://www.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 https://www.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. https://www.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. | Zbl | MR

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. | Zbl | MR

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

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. | Zbl | MR

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

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. | Zbl | MR

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

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. | Zbl | MR

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. | Zbl | MR

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

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

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