Compositional semantics for open Petri nets based on deterministic processes

Mathematical Structures in Computer Science

Volumn 15, Issue 1, 2005, Pages 1-35

  Baldan, Paolo ^a   Corradini, Andrea ^b   Ehrig, Hartmut ^c   Heckel, Reiko ^d  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b UNIVERSITY OF PISA   (Italy)

^c TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^d UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33750725425     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129504004311     Document Type: Article

References (25)

1. Baldan, P., Corradini, A., Ehrig, H. and Heckel, R. (2001) Compositional modeling of reactive systems using open nets. In: Larsen, K. G. and Nielsen, M. (eds.) Proceedings of CONCUR 2001. Springer-Verlag Lecture Notes in Computer Science 2154 502-518.
2. Basten, T. (1998) In terms of nets: System design with Petri nets and process algebra, Ph.D. thesis, Eindhoven University of Technology.
3. Best, E. and Devillers, R. (1987) Sequential and concurrent behaviour in Petri net theory. Theoretical Computer Science 55 (1) 87-136.
4. Best, E., Devillers, R. and Hall, J.G. (1992) The Petri box calculus: a new causal algebra with multilabel communication. In: Rozenberg, G. (ed.) Advances in Petri Nets. Springer-Verlag Lecture Notes in Computer Science 609 21-69.
5. Corradini, A. (1996) Concurrent graph and term graph rewriting. In: Montanari, U. and Sassone, V. (eds.) Proceedings of CONCUR'96. Springer-Verlag Lecture Notes in Computer Science 1119 438-464.
6. Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Padberg, J. (1996) The category of typed graph grammars and its adjunctions with categories of derivations. In: Cuny, J., Ehrig, H., Engels, G. and Rozenberg, G. (eds.) Proceedings of the 5th International Workshop on Graph Grammars and their Application to Computer Science. Springer-Verlag Lecture Notes in Computer Science 1073.
7. Ehrig, H. and Mahr, B. (1985) Fundamentals of Algebraic Specification 1, Springer-Verlag.
8. Golz, U. and Reisig, W. (1983) The non-sequential behaviour of Petri nets. Information and Control 57 125-147.
9. Heckel, R. (1998) Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems, Ph.D. thesis, TU Berlin.
10. Jacobs, B. (1999) Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics 141, North Holland.
11. Kindler, E. (1997) A compositional partial order semantics for Petri net components. In: Azema, P. and Balbo, G. (eds.) Application and Theory of Petri Nets. Springer-Verlag Lecture Notes in Computer Science 1248 235-252.
12. Koutny, M. and Best, E. (1999) Operational and denotational semantics for the box algebra. Theoretical Computer Science 211 (1-2) 1-83.
13. Koutny, M., Esparza, J. and Best, E. (1994) Operational semantics for the Petri box calculus. In: Jonsson, B. and Parrow, J. (eds.) Proceedings of CONCUR '94. Springer-Verlag Lecture Notes in Computer Science 836 210-225.
14. Meseguer, J. and Montanari, U. (1990) Petri nets are monoids. Information and Computation 88 105-155.
15. Milner, R. (1996) Calculi for interaction. Acta Informatica 33 707-737.
16. Nielsen, M., Plotkin, G. and Winskel, G. (1981) Petri Nets, Event Structures and Domains, Part 1. Theoretical Computer Science 13 85-108.
17. Nielsen, M., Priese, L. and Sassone, V. (1995) Characterizing Behavioural Congruences for Petri Nets. In: Proceedings of CONCUR'95. Springer-Verlag Lecture Notes in Computer Science 962 175-189.
18. Padberg, J., Ehrig, H. and Ribeiro, L. (1995) Algebraic high-level net transformation systems. Mathematical Structures in Computer Science 5 (2) 217-256.
19. Padberg, J., Jansen, L., Heckel, R. and Ehrig, H. (1998) Interoperability in train control systems: Specification of scenarios using open nets. In: Proc. IDPT, Society for Design and Process Science 17-28.
20. Priese, L. and Wimmel, H. (1998) A uniform approach to true-concurrency and interleaving semantics for Petri nets. Theoretical Computer Science 206 (1-2) 219-256.
21. Reisig, W. (1985) Petri Nets: An Introduction, EACTS Monographs on Theoretical Computer Science, Springer-Verlag.
22. van der Aalst, W. (1998) The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 8 (1) 21-66.
23. van der Aalst, W. (1999) Interorganizational workflows: An approach based on message sequence charts and Petri nets. System Analysis and Modeling 34 (3) 335-367.
24. Winskel, G. (1987a) Event Structures. In: Petri Nets: Applications and Relationships to Other Models of Concurrency. Springer-Verlag Lecture Notes in Computer Science 255 325-392.
25. Winskel, G. (1987b) Petri nets, algebras, morphisms, and compositionality. Information and Computation 72 (3) 197-238.