On causal semantics of petri nets (extended abstract)

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

[2]  Ursula Goltz,et al.  Abstract processes of place/transition systems , 2011, Inf. Process. Lett..

[3]  Ursula Goltz,et al.  Refinement of actions and equivalence notions for concurrent systems , 2001, Acta Informatica.

[4]  Wolfgang Reisig,et al.  The Non-sequential Behavior of Petri Nets , 1983, Inf. Control..

[5]  Rob J. van Glabbeek.  The Individual and Collective Token Interpretations of Petri Nets , 2005, CONCUR.

[6]  Antoni W. Mazurkiewicz,et al.  Concurrency, Modularity, and Synchronization , 1989, MFCS.

[7]  Gordon D. Plotkin,et al.  Configuration structures, event structures and Petri nets , 2009, Theor. Comput. Sci..

[8]  Joost Engelfriet,et al.  Branching processes of Petri nets , 1991, Acta Informatica.

[9]  Ursula Goltz.  On condition/event representations of place/transition nets , 1987 .

[10]  P. S. Thiagarajan,et al.  A Trace Semantics for Petri Nets , 1995, Inf. Comput..

[11]  Walter Vogler,et al.  Executions: A New Partial-Order Semantics of Petri Nets , 1991, Theor. Comput. Sci..

[12]  Hartmann J. Genrich,et al.  A Dictionary of Some Basic Notions of Net Theory , 1979, Advanced Course: Net Theory and Applications.

[13]  César Fernández.  Non-sequential Processes , 1986, Advances in Petri Nets.

[14]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..

[15]  Raymond R. Devillers,et al.  Interleaving and partial orders in concurrency: a formal comparison , 1987, Formal Description of Programming Concepts.

[16]  José Meseguer,et al.  Petri nets are monoids: a new algebraic foundation for net theory , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

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

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

[19]  Ugo Montanari,et al.  Axiomatizing net computations and processes , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[20]  Antoni W. Mazurkiewicz,et al.  Introduction to Trace Theory , 1995, The Book of Traces.

[21]  Ursula Goltz,et al.  On Causal Semantics of Petri Nets , 2011, CONCUR.