Algebraic Models for Contextual Nets

We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two interpretations of net behaviors.

[1]  C. Petri.  Kommunikation mit Automaten , 1962 .

[2]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[3]  Glynn Winskel,et al.  Event Structures , 1986, Advances in Petri Nets.

[4]  Raymond R. Devillers,et al.  Sequential and Concurrent Behaviour in Petri Net Theory , 1987, Theor. Comput. Sci..

[5]  José Meseguer,et al.  Petri Nets Are Monoids , 1990, Inf. Comput..

[6]  Francesca Rossi,et al.  Contextual Occurence Nets and Concurrent Constraint Programming , 1993, Dagstuhl Seminar on Graph Transformations in Computer Science.

[7]  Søren Christensen,et al.  Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs , 1992, Application and Theory of Petri Nets.

[8]  Gordon D. Plotkin,et al.  Configuration structures , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

[9]  Maciej Koutny,et al.  Semantics of Inhibitor Nets , 1995, Inf. Comput..

[10]  Vladimiro Sassone,et al.  An Axiomatization of the Algebra of Petri Net Concatenable Processes , 1996, Theor. Comput. Sci..

[11]  José Meseguer,et al.  Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report , 1996, CONCUR.

[12]  Walter Vogler.  Efficiency of Asynchronous Systems and Read Arcs in Petri Nets , 1997, ICALP.

[13]  Walter Vogler,et al.  Partial order semantics and read arcs , 1997, Theor. Comput. Sci..

[14]  Ugo Montanari,et al.  On the semantics of place/transition Petri nets , 1997, Mathematical Structures in Computer Science.

[15]  Fabio Gadducci,et al.  Axioms for Contextual Net Processes , 1998, ICALP.

[16]  Roberto Bruni,et al.  A Comparison of Petri Net Semantics under the Collective Token Philosophy , 1998, ASIAN.

[17]  Ugo Montanari,et al.  An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures , 1998, FoSSaCS.

[18]  Vladimiro Sassone,et al.  An axiomatization of the category of Petri net computations , 1998, Mathematical Structures in Computer Science.