Composantes préconservatives minimales d'un réseau de Petri : étude structurelle

Kamel Barkaoui; Bernard Lemaire

RAIRO - Operations Research - Recherche Opérationnelle (1987)

  • Volume: 21, Issue: 3, page 219-240
  • ISSN: 0399-0559

How to cite

top

Barkaoui, Kamel, and Lemaire, Bernard. "Composantes préconservatives minimales d'un réseau de Petri : étude structurelle." RAIRO - Operations Research - Recherche Opérationnelle 21.3 (1987): 219-240. <http://eudml.org/doc/104922>.

@article{Barkaoui1987,
author = {Barkaoui, Kamel, Lemaire, Bernard},
journal = {RAIRO - Operations Research - Recherche Opérationnelle},
keywords = {Petri net; bipartite graphs; conservative component; preconservative components},
language = {fre},
number = {3},
pages = {219-240},
publisher = {EDP-Sciences},
title = {Composantes préconservatives minimales d'un réseau de Petri : étude structurelle},
url = {http://eudml.org/doc/104922},
volume = {21},
year = {1987},
}

TY - JOUR
AU - Barkaoui, Kamel
AU - Lemaire, Bernard
TI - Composantes préconservatives minimales d'un réseau de Petri : étude structurelle
JO - RAIRO - Operations Research - Recherche Opérationnelle
PY - 1987
PB - EDP-Sciences
VL - 21
IS - 3
SP - 219
EP - 240
LA - fre
KW - Petri net; bipartite graphs; conservative component; preconservative components
UR - http://eudml.org/doc/104922
ER -

References

top
  1. 1. C. BERGE, Graphes et hypergraphes, Dunod, Paris, 1970. Zbl0213.25702MR357173
  2. 2. G. BERTHELOT, Transformations et analyse de réseaux de Petri, applications aux protocoles, Thèse d'état, Paris-VI, juin 1983. 
  3. 3. G. W. BRAMS, Réseaux de Petri : théorie et pratique, Masson, t. I, décembre 1982. Zbl0501.68027
  4. 4. F. COMMONER, A. HOLT, S. EVEN et A. PNUELI, Marked Directed Graphs, Journal of computer System and sciences, vol. 5, n° 5, october 1971, p. 511-523. Zbl0238.05109MR281542
  5. 5. F. COMMONER, Deadlock in Petri Nets, Applied data research inst., Wakefield, Mass, CA 7206-2311, 1972. 
  6. 6. M. HACK, Extended State-Machine Allocatable Nets an Extension of Free-Choice Petri Net Results, M.I.T., Cambridge, Mass. Project MAC, CSE-MEMO 78-1, 1973. 
  7. 7. M. JANTZEN et R. VALK, Formal Properties of Place/Transition Nets, Advanced Course on General Net Theory of Processes and Systems, Hambourg, octobre 1979. MR582807
  8. 8. K. LAUTENBACH et H. SCHMID, Use of Petri Nets for Proving Correctness of Concurrent Process System, Information processing, North Holland, 1974, p. 187-191. Zbl0299.68006MR441564
  9. 9. M. LATTEUX, Synchronisation de processus, R.A.I.R.O. Informatique, vol. 14, n° 2, 1980, p. 103-135. Zbl0433.68021
  10. 10. J. MARTINEZ et M. SILVA, A Simple and Fast Algorithm to Obtain all Invariants of a Generalized Petri Net, 2nd Eur. Work on Application and Theory of Petri Nets, Bad Honnef, 1981. 
  11. 11. G. MEMMI, Méthode d'analyse de réseaux de Petri, réseaux à files et application aux systèmes temps réel, Thèse d'État, Paris-VI, juin 1983. 
  12. 12. G. MEMMI et G. ROUCAIROL, Linear Algebra in Net Theory, Proc. of Advanced Course on General Net Theory of Processes and Systems, W. BRAUER éd. Hambourg, 1979 et Springer Verlag, L.N.C.S. 84, 1980. MR582808
  13. 13. J. L. PETERSON, Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981. Zbl0461.68059MR610984
  14. 14. C. A. PETRI, Introduction to General Net Theory of Processes and Systems, Hambourg, 1974, also in Lectures notes in Computer Science, n° 84, Springer Verlag, Berlin 1980. MR582805
  15. 15. C. RAMCHANDANI, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Ph. D. thesis, M.I.T., Cambridge, Mass., Project MAC TP 120, février 1974. 
  16. 16. J. SIFAKIS, Le contrôle des systèmes asynchrones : concepts propriétés, analyse statique, Thèse d'État, Université Scientifique et Médicale de Grenoble, juin 1979. 
  17. 17. J. M. TOUDIC, Algorithmes d'analyse structurelle des réseaux de Petri, Thèse de 3e cycle, Paris-VI, octobre 1981. 
  18. 18. Numéro spécial Réseaux de Petri, Technique et science informatiques, T.S.I.-R.A.I.R.O., vol. 4, n° 1, 176 p., Dunod, Paris; janvier-février 1985. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.