Bigraphs for Petri nets

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

Volumn 3098, Issue , 2004, Pages 686-701

  Milner, Robin ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

BEHAVIOURAL SEMANTICS; BIGRAPHICAL REACTIVE SYSTEMS; BIGRAPHS; BISIMILARITY; FIRING RULES; LABELLED TRANSITION SYSTEMS; PETRI NET THEORIES;

PETRI NETS;

EID: 14944379512     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27755-2_19     Document Type: Article

References (13)

1. Best, E., Devillers, R. and Hall, J.G., The box algebra: a model of nets and process expressions. 20th International Conference on Application and Theory of Petri Nets, LNCS 1639 (1999) 344-363.
2. Cardelli, L. and Gordon, A.D., Mobile ambients. Foundations of System Specification and Computational Structures, LNCS 1378 (2000) 140-155.
3. Jensen, O.-H. and Milner, R., Bigraphs and transitions. In Proc. 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2003).
4. Jensen, O.-H. and Milner, R., Bigraphs and mobile processes. Technical Report UCAMCL-TR-570, University of Cambridge Computer Laboratory (2003). Also available at http://www.cl.cam.ac.uk/users/rm135,together with an index and slides.
5. Leifer, J.J. and Milner, R., Deriving bisimulation congruences for reactive systems. Proc. CONCUR 2000, 11th International Conference on Concurrency Theory (2000) 243-258.
6. Milner, R., Calculi for interaction. Acta Informatica 33 (1996) 707-737,
7. Milner, R., Parrow, J. and Walker D., A calculus of mobile processes, Parts I and II. Journal of Information and Computation 100 (1992) 1-77.
8. Park, D., Concurrency and automata on infinite sequences. In LNCS 104, Springer Verlag (1980).
9. Nielsen, M., Priese, L. and Sassone, V., Characterizing behavioural congruences for Petri nets. Proc. CONCUR'95, LNCS 962 (1995) 175-189.
10. Pomello, L., Rozenberg, G. and Simone, C., A survey of equivalence notions for net-based systems. Advances in Petri Nets '92, LNCS 609 (1992) 410-472.
11. Priese, L. and Wimmel, H., A uniform approach to true-concurrency and interleaving semantics for Petri nets. Theoretical Computer Science 206 (1998) 219-206.
12. Reisig, W., Petri Nets: an Introduction. Springer Verlag, Berlin (1985).
13. Sassone, V. and Sobocinski, P., Deriving bisimulation congruences: 2-categories vs. precategories. In Proc. FOSSACS '03, LNCS 2620 (2003) 409-424.