M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages

Acta Informatica

Volumn 35, Issue 10, 1998, Pages 813-857

  Best, Eike ^a   Fra̧czak, Wojciech ^b   Hopkins, Richard P ^d   Klaudel, Hanna ^c   Pelz, Elisabeth ^c  

^a UNIVERSITY OF OLDENBURG   (Germany)

^b UNIVERSITÉ DU QUÉBEC EN OUTAOUAIS   (Canada)

^c UNIVERSITÉ PARIS EST CRÉTEIL   (France)

^d NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0039394024     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050144     Document Type: Article

References (42)

1. J.C.M. Baeten, W.P. Weijland: Process Algebra. Cambridge Tracts in Theoretical Computer Science 18 (1990)
2. E. Battiston, F. De Cindio, G. Mauri: OBJ-SA, a Class of High-level Nets Having Objects as Domains. Lecture Notes in Computer Science 340, pp 20-43 (1988)
3. B. Baumgarten: Petri-Netze. Grundlagen und Anwendungen. Mannheim: BI-Wissen-schafts verlag 1990
4. E. Best, R. Devillers, J. Hall: The Petri Box Calculus: a New Causal Algebra with Multilabel Communication. In: G. Rozenberg (ed.), Advances in Petri Nets'92. Lecture Notes in Computer Science 609, 21-69 (1992)
5. E. Best, H. Fleischhack, W. Fra̧czak, R.P. Hopkins, H. Klaudel, E. Pelz: A Class of Composable High Level Petri Nets. In: Torino, G. De Michelis, M. Diaz (eds), Proceedings of Petri Nets'95. Lecture Notes in Computer Science 935, 103-120 (1995)
6. 2. In: J. Desel (ed.), Proc. STRICT'95, Berlin. Workshops in Computing, 85-100 (1995)
7. E. Best, B. Grahlmann: PEP - more than a Petri Net Tool. Proc. Tools and Algorithms for the Construction and Analysis of Systems, In: T. Margaria, B. Steffen (eds). 2nd International Workshop, TACAS'96, Passau, March 1996, Lecture Notes in Computer Science 1055, 397-401 (1996)
8. 2 - a Basic Petri Net Programming Notation. In: A. Bode, M. Reeve, G. Wolf (eds), Proc. PARLE'93. Lecture Notes in Computer Science 694, 379-390 (1993)
9. E. Best, T. Thielke: Orthogonal Transformations for Coloured Petri Nets. Proc. of the eighteenth European Workshop on Applications and Theory of Petri Nets, In: Toulouse, P. Azéma, G. Balbo (eds), ICATPN'97. LNCS 248, 447-466 (1997)
10. D. Buchs, N. Guelfi: CO-OPN: A Concurrent Object-Oriented Petri Nets Approach for System Specification. Proc. 12th ICPN, Århus (1991). Also LRI Technical Report 616, Orsay, 1990.
11. L. Cherkasova, V. Kotov: Descriptive and Analytical Process Algebras. In: G. Rozenberg (ed.), Advances in Petri Nets 1989. Lecture Notes in Computer Science, 424, 77-104 (1990)
12. S. Christensen, L. Petrucci: Towards a Modular Analysis of Coloured Petri Nets. Lecture Notes in Computer Science 616, 113-133 (1992)
13. R. Devillers, H. Klaudel: Refinement and Recursion in a High-level Petri Box Calculus. In: J. Desel (ed.). Proc. STRICT'95, Berlin, Workshops in Computing, pp 144-195 Berlin Heidelberg New York: Springer 1995
14. R. Devillers, H. Klaudel, R.-C. Riemann: General Refinement in the M-net Calculus. Proc. FST-TCS'97 Lecture Notes in Computer Science, 1346, 297-311-1997
15. J. Esparza: Model Checking based on Branching Processes. Habilitation, Hildesheim (1993). Published as: Model Checking Using Net Unfoldings. Proc. TAPSOFT'93 (1993), M.C. Gaudel, J.P. Jouannaud (eds). Springer-Verlag, Lecture Notes in Computer Science 668, 613-628 (1993). Full version in Science of Computer Programming 23, 151-195 (1994)
16. J. Esparza: Model Checking based on Branching Processes. Habilitation, Hildesheim (1993). Published as: Model Checking Using Net Unfoldings. Proc. TAPSOFT'93 (1993), M.C. Gaudel, J.P. Jouannaud (eds). Springer-Verlag, Lecture Notes in Computer Science 668, 613-628 (1993). Full version in Science of Computer Programming 23, 151-195 (1994)
17. 2 with Procedures. Proc. PDSE'97 (Parallel and Distributed Software Engineering), Boston, IEEE Computer Society Press 1997
18. H. Genrich: Predicate-transition Nets. In Petri Nets: Central Models and their Properties, Advances in Petri Nets 1986, Part I. Lecture Notes in Computer Science 254, 207-247 (1987)
19. U. Goltz, A. Mycroft: On the Relationship of CCS and Petri Nets. Im: J. Paredaens (ed.). Proc. ICALP'84, Lecture Notes in Computer Science 172, 196-208 (1984)
20. M. Hack: Petri Net Languages, C.S.G. Memo 124, Project MAC, MIT (1975)
21. C.A.R. Hoare: Communicating Sequential Processes. Prentice Hall 1985
22. R.P. Hopkins, J.G. Hall, O. Botti: A basic-net algebra for program semantics and its application to occam. In: G. Rozenberg (ed.), Advances in Petri Nets 1992. Lecture Notes in Computer Science 609, 179-214 (1992)
23. M. Jantzen: Languages Theory of Petri Nets, In Petri Nets: Central Models and their Properties, Advances in Petri Nets 1986, Part I. Lecture Notes in Computer Science 254, 397-412. 1987
24. K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1. EATCS Monographs on Theoretical Computer Science (1992)
25. H. Klaudel: Modèles algébriques, basés sur les réseaux de Petri, pour la sémantique des langages de programmation concurrents. PhD Thesis, Université Paris-Sud, Orsay, (1995)
26. H. Klaudel, E. Pelz: Communication as Unification in the Petri Box Calculus. Proc. FCT'95. Lecture Notes in Computer Science 965, 303-312 (1995)
27. H. Klaudel, R.-C. Riemann: Consistent Equivalence Notion for a Class of High Level Petri Nets. Eleventh International Symposium on Computer and System Science, Antalya (1996)
28. 2 with Procedures. Eleventh International Symposium on Computer and System Science, pp 365-374, Antalya, Middle East Technical University (1996)
29. D. May: occam. SIGPLAN Notices 18(4), 69-79 (1983)
30. R. Milner: A Calculus of Communicating Systems. Springer Verlag, Lecture Notes in Computer Science 92 (1980)
31. R. Milner: Communication and Concurrency. Prentice Hall 1989
32. E.-R. Olderog: Nets, Terms and Formulas. Cambridge Tracts in Theoretical Computer Science 23. (1991)
33. E. Pelz, M. Parigot: A logical approach of Petri net languages, Theoretical Computer Science 155-169 (1985)
34. J.L. Peterson: Petri Net Theory and the Modelling of Systems. Prentice Hall 1981
35. G. Pinna: Petri Nets and Their Composition Problem. PhD Thesis: TD-2/90, Dipartimento di Informatica, Université degli Studi di Pisa, March 1990
36. W. Reisig: Petri Nets. An Introduction. EATCS Monographs on Theoretical Computer Science Vol. 4, Berlin Heidelberg New York: Springer 1985
37. W. Reisig: Petri Nets and Algebraic Specifications. Theoretical Computer Science 1-34. (1991)
38. K. Schmidt: Symbolische Analysealgorithmen für algebraische Petrinetze. Dissertation (1996)
39. E. Smith: A Primer on High-Level Petri-Net Theory. Informatik-Bericht Nr. 25 der Humboldt-Universität zu Berlin, 1993
40. E. Smith, W. Reisig: The Semantics of a Net is a Net - an Exercise in General Net Theory. In: G. Rozenberg (ed.), Advances in Petri Nets'87. Lecture Notes in Computer Science 266, 461-480 (1987)
41. J. Vautherin: Parallel systems specification with colored Petri nets and algebraic specification. Lecture Notes in Computer Science 266, 293-308 (1987)
42. W. Vogler: Modular construction and Partial Order Semantics of Petri Nets. Lecture Notes in Computer Science 625 (1991)