Bisimilarity and behaviour-preserving reconfigurations of open Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4624 LNCS, Issue , 2007, Pages 126-142

  Baldan, Paolo ^a   Corradini, Andrea ^b   Ehrig, Hartmut ^c   Heckel, Reiko ^d   König, Barbara ^e  

^a UNIVERSITY OF PADOVA   (Italy)

^b UNIVERSITY OF PISA   (Italy)

^c TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^d UNIVERSITY OF LEICESTER   (United Kingdom)

^e UNIVERSITY OF DUISBURG ESSEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; SEMANTICS;

COMPOSITION OPERATIONS; TRANSITION NETS;

PETRI NETS;

EID: 38049088186     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73859-6_9     Document Type: Conference Paper

References (22)

1. Badouel, E., Llorens, M., Oliver, J.: Modeling concurrent systems: Reconfigurable nets. In: Proc. of PDPTA'03, vol. 4, pp. 1568-1574. CSREA Press (2003)
2. Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional modeling of reactive systems using open nets. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 502-518. Springer, Heidelberg (2001)
3. Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open Petri nets based on deterministic processes. Mathematical Structures in Computer Science 15(1), 1-35 (2004)
4. Baldan, P., Corradini, A., Ehrig, H., Heckel, R., König, B.: Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Technical Report CS-2006-9, Computer Science Department, University Ca' Foscari of Venice (2006)
5. Bednarczyk, A.M., Borzyszkowski, M. A.: General morphisms of Petri nets. In: Wiedermann, J., van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol. 1644, pp. 190-199. Springer, Heidelberg (1999)
6. Best, E., Devillers, R., Hall, J.G.: The Petri box calculus: a new causal algebra with multi-label communication. In: Rozenberg, G. (ed.) Advances in Petri Nets 1992. LNCS, vol. 609, pp. 21-69. Springer, Heidelberg (1992)
7. Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: A behavioural congruence for web services. In: Proc. of FSEN'07. LNCS, Springer, Heidelberg (2007) (to appear)
8. Buscemi, M.G., Sassone, V.: High-level Petri nets as type theories in the join calculus. In: Honsell, F., Miculan, M. (eds.) ETAPS 2001 and FOSSACS 2001. LNCS, vol. 2030, Springer, Heidelberg (2001)
9. Ehrig, H.: Tutorial introduction to the algebraic approach of graph-grammars. In: Ehrig, H., Nagl, M., Rosenfeld, A., Rozenberg, G. (eds.) Graph-Grammars and Their Application to Computer Science. LNCS, vol. 291, pp. 3-14. Springer, Heidelberg (1987)
10. Kindler, E.: A compositional partial order semantics for Petri net components. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 235-252. Springer, Heidelberg (1997)
11. Lack, S., Sobociński, P.: Adhesive and quasiadhesive categories. RAIRO - Theoretical Informatics and Applications 39(3) (2005)
12. Leifer, J., Milner, R.: Deriving bisimulation congruences for reactive systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 243-258. Springer, Heidelberg (2000)
13. Llorens, M., Oliver, J.: Introducing structural dynamic changes in Petri nets: Marked-controlled reconfigurable nets. In: Wang, F. (ed.) ATVA 2004. LNCS, vol. 3299, pp. 310-323. Springer, Heidelberg (2004)
14. Milner, R.: Bigraphical reactive systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 16-35. Springer, Heidelberg (2001)
15. Milner, R.: Bigraphs for Petri nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 686-701. Springer, Heidelberg (2004)
16. Milner, R.: In: Milner, R. (ed.) A Calculus of Communication Systems. LNCS, vol. 92, Springer, Heidelberg (1980)
17. Nielsen, M., Priese, L., Sassone, V.: Characterizing Behavioural Congruences for Petri Nets. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol. 962, pp. 175-189. Springer, Heidelberg (1995)
18. Padberg, J., Ehrig, H., Ribeiro, L.: High level replacement systems applied to algebraic high level net transformation systems. Mathematical Structures in Computer Science 5(2), 217-256 (1995)
19. Reisig, W.: Petri Nets: An Introduction. In: EATCS Monographs, Springer, Heidelberg (1985)
20. Sassone, V., Sobociński, P.: A congruence for Petri nets. In: Alternating Sequential-Parallel Processing. Electronic Notes in Computer Science, vol. 127(2), pp. 107-120. Elsevier, Amsterdam (1982)
21. Vogler, W.: Executions: A new partial-order semantics of Petri nets. Theoretical Computer Science 91(2), 205-238 (1991)
22. Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef. LNCS, vol. 255, pp. 325-392. Springer, Heidelberg (1987)