Petri nets: an introduction
Sequential and concurrent behaviour in Petri net theory
Theoretical Computer Science
Modeling concurrency with geometry
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent bisimulations in Petri nets
Acta Informatica
Using information systems to solve recursive domain equations
Information and Computation
Flow event structures and flow nets
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
Branching processes of Petri nets
Acta Informatica
Theoretical Computer Science - Selected papers of the International BCS-FACS Workshop on Semantics for Concurrency, Leicester, UK, July 1990
On the nature of events: another perspective in concurrency
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Handbook of logic in computer science (vol. 4)
An event structure semantics for general Petri nets
Theoretical Computer Science - Special volume on Petri nets
CHU spaces: a model of concurrency
CHU spaces: a model of concurrency
Models for concurrency: towards a classification
Theoretical Computer Science
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Event Structure Semantics for CCS and Related Languages
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Geometric Logic, Causality and Event Structures
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
On the Semantics of Petri Nets
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
An introduction to event structures
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Refinement of Actions in Causality Based Models
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
The individual and collective token interpretations of Petri nets
CONCUR 2005 - Concurrency Theory
Erratum: Erratum to “On the expressiveness of higher dimensional automata”
Theoretical Computer Science
Gates accept concurrent behavior
SFCS '93 Proceedings of the 1993 IEEE 34th Annual Foundations of Computer Science
Events, causality and symmetry
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Branching processes of general petri nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
On the origin of events: branching cells as stubborn sets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
On causal semantics of Petri nets
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Modeling dependencies and simultaneity in membrane system computations
Theoretical Computer Science
Event structure semantics of parallel extrusion in the pi-calculus
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Annals of Mathematics and Artificial Intelligence
Modelling of bonding with processes and events
RC'13 Proceedings of the 5th international conference on Reversible Computation
Reversibility and asymmetric conflict in event structures
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Branching Processes of General Petri Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
Hi-index | 5.23 |
In this paper the correspondence between safe Petri nets and event structures, due to Nielsen, Plotkin and Winskel, is extended to arbitrary nets without self-loops, under the collective token interpretation. To this end we propose a more general form of event structure, matching the expressive power of such nets. These new event structures and nets are connected by relating both notions with configuration structures, which can be regarded as representations of either event structures or nets that capture their behaviour in terms of action occurrences and the causal relationships between them, but abstract from any auxiliary structure. A configuration structure can also be considered logically, as a class of propositional models, or-equivalently-as a propositional theory in disjunctive normal from. Converting this theory to conjunctive normal form is the key idea in the translation of such a structure into a net. For a variety of classes of event structures we characterise the associated classes of configuration structures in terms of their closure properties, as well as in terms of the axiomatisability of the associated propositional theories by formulae of simple prescribed forms, and in terms of structural properties of the associated Petri nets.