A congruence for Petri nets

Electronic Notes in Theoretical Computer Science

Volumn 127, Issue 2, 2005, Pages 107-120

  Sassone, Vladimiro ^a   Sobociński, Paweł ^b  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

Congruences; Contexts; Petri Nets

Indexed keywords

BISIMULATION CONGRUENCE; CONGRUENCE; CONTEXTS; LABELLED TRANSITION SYSTEMS (LTS);

ALGEBRA; COMPUTER SIMULATION; GRAPH THEORY; OPEN SYSTEMS; SEMANTICS; SET THEORY;

PETRI NETS;

EID: 14944382347     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.02.008     Document Type: Conference Paper

References (11)

1. P. Baldan, A. Corradini, H. Ehrig, and R. Heckel Compositional modeling of reactive systems using open nets CONCUR '01 Lecture Notes in Computer Science 2154 2001 502 518
2. G. Berry, and G. Boudol The chemical abstract machine Theoretical Computer Science 96 1992 217 248
3. Jensen, O.H. and R. Milner, Bigraphs and mobile processes, Technical Report 570, Computer Laboratory, University of Cambridge (2003)
4. S. Lack, and P. Sobociński Adhesive categories Foundations of Software Science and Computation Structures FoSSaCS '04 LNCS (Lecture Notes in Computer Science) 2987 2004 273 288
5. Leifer, J., "Operational congruences for reactive systems," Phd thesis, University of Cambridge (2001)
6. J. Leifer, and R. Milner Deriving bisimulation congruences for reactive systems International Conference on Concurrency Theory Concur '00 LNCS (Lecture Notes in Computer Science) 1877 2000 243 258
7. R. Milner Bigraphs for petri nets Lectures on Concurrency and Petri Nets 2003 Lecture Notes in Computer Science 3098 2004 686 701
8. V. Sassone, and P. Sobociński Deriving bisimulation congruences: 2-categories vs. precategories Foundations of Software Science and Computation Structures FoSSaCS '03 LNCS (Lecture Notes in Computer Science) 2620 2003
9. V. Sassone, and P. Sobociński Deriving bisimulation congruences using 2-categories Nordic Journal of Computing 10 2003 163 183
10. Sassone, V. and P. Sobociński, Congruences for contextual graph-rewriting, Technical Report RS-04-11, BRICS, University of Aarhus (2004)
11. Sobociński, P., "Deriving process congruences from reaction rules," Ph.D. thesis, BRICS, University of Aarhus (2004)