Normalization of place/transition-systems preserves net behaviour

E. Pelz

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1992)

  • Volume: 26, Issue: 1, page 19-44
  • ISSN: 0988-3754

How to cite

top

Pelz, E.. "Normalization of place/transition-systems preserves net behaviour." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 26.1 (1992): 19-44. <http://eudml.org/doc/92406>.

@article{Pelz1992,
author = {Pelz, E.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {Petri nets},
language = {eng},
number = {1},
pages = {19-44},
publisher = {EDP-Sciences},
title = {Normalization of place/transition-systems preserves net behaviour},
url = {http://eudml.org/doc/92406},
volume = {26},
year = {1992},
}

TY - JOUR
AU - Pelz, E.
TI - Normalization of place/transition-systems preserves net behaviour
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1992
PB - EDP-Sciences
VL - 26
IS - 1
SP - 19
EP - 44
LA - eng
KW - Petri nets
UR - http://eudml.org/doc/92406
ER -

References

top
  1. 1. C. BERGE, Graphs and Hypergraphs, North Holland, 1973. Zbl0254.05101MR357172
  2. 2. E. BEST and C. FERNANDEZ, Notations and Terminology on Petri Net Theory, Arbeitspapiere der GMD 195, Bonn, 1986. 
  3. 3. E. BEST, R. DEVILLERS, A. KIEHN and L. POMELLO, Fully Concurrent Bisimulation Technical report, Université libre de Bruxelles, 1989, and Acta Informatica, 1991, 28, pp. 231-264. Zbl0718.68034MR1093250
  4. 4. G.W. BRAMS, Réseaux de Petri: Théorie et Pratique, Tome 1 et 2, Masson, 1982. Zbl0501.68027MR692364
  5. 5. W. BRAUER, W. REISIG and G. ROZENBERG Eds., Petri Nets: Central Models and Their Properties, Part I, Proceedings, Advances in Petri Nets 1986, LNCS, 254, Springer-Verlag, 1987. Zbl0619.00023MR902651
  6. 6. U. GOLTZ, On Condition/Event Representations of Place/Transition Systems, in: K. Voss, H.J. GENRICH and G. ROZENBERG Eds, Concurrency and Nets, Springer-Verlag, 1987. Zbl0634.68059MR911919
  7. 7. U. GOLTZ and W. REISIG, Processes of Place/Transition-Nets in Proceedings ICALP 83, LNCS, 154, Springer-Verlag, 1983. Zbl0523.68046MR727662
  8. 8. J. GRABOWSKI, On partial languages, Annales Soc. Math. Polonae, series IV: Fund. Inform., 1981, IV. 2, pp. 427-298. Zbl0468.68088MR645249
  9. 9. M. HACK, Petri net Languages, MIT-Technical Report 159, MIT Press, Cambridge, 1975. 
  10. 10. M. PARIGOT and E. PELZ, A logical approach of Petri net languages, T.C.S., 1985, 39, pp. 155-169, and to appear in Proceedings ESDA'92, ASME-Volume. Zbl0605.68049MR821199
  11. 11. E. PELZ, Place/Transitions-systems: Concurrent behaviour and logic, Rapport LRI No. 571, Université Paris-Sud, 1990. 
  12. 12. E. PELZ, Normalisation of Place/Transition-Systems Preserves Net Behaviour, in part II of "Réseaux et Logique", Thèse d'État, Université Paris-Sud, 1990. 
  13. 13. L. POMELLO, Some Equivalence Notions for Concurrent Systems. An Overwiew, in K. Voss, H.J. GENRICH and G. ROZENBERG Eds, Concurrency and Nets, Springer-Verlag, 1987. Zbl0611.68037MR864526
  14. 14. L. POMELLO and C. SIMONE, A survey of Equivalence Notions for Net Based Systems Systems, Conference at ESPRIT-BRA DEMON meeting, Bonn, June 1989, to appear in Advances in Petri Nets, 1991. 
  15. 15. S. SCHWER, Transformation of a Petri Net into a Petri Net with Incidence Matrix on {0, 1}, Petri Nets Newsletter, 1986, 23, pp. 15-20. 
  16. 16. J. SIFAKIS, Le contrôle des systèmes asynchrones: Concepts, propriétés, analyse statique, Thèse, U.S.M. Grenoble, 1979. 
  17. 17. R. VALK and H. CARSTENSEN, Infinite Behaviour and Fairness in Petri Nets, in Advances in Petri nets 1984, LNCS, 188, G. ROZENBERG Ed., Springer-Verlag,, 1985. Zbl0571.68045MR807196
  18. 18. W. VOGLER, Executions: Their relations to Other Partial Order Semantics of Nets and a Compatible C/E-Representation of P/T-systems, Technical report, TUM-18806, TU München, 1988. 
  19. 19. W. VOGLER, Bisimulation and action refinement, in STACS 91, C. CHOFFRUT and M. JANTZEN Eds., LNCS, 480, Springer-Verlag, 1991. Zbl0773.68052MR1101180

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.