On condition/event representations of place/transition nets
Concurrency and nets: advances in Petri nets
Sequential and concurrent behaviour in Petri net theory
Theoretical Computer Science
Axiomatizing net computations and processes
Proceedings of the Fourth Annual Symposium on Logic in computer science
Branching processes of Petri nets
Acta Informatica
Executions: a new partial-order semantics of Petri nets
Theoretical Computer Science
A trace semantics for Petri nets
Information and Computation
Refinement of actions and equivalence notions for concurrent systems
Acta Informatica
Concurrency, Modularity, and Synchronization
MFCS '89 Proceedings on Mathematical Foundations of Computer Science 1989
A Dictionary of Some Basic Notions of Net Theory
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
The individual and collective token interpretations of Petri nets
CONCUR 2005 - Concurrency Theory
Configuration structures, event structures and Petri nets
Theoretical Computer Science
Abstract processes of place/transition systems
Information Processing Letters
Hi-index | 0.00 |
We consider approaches for causal semantics of Petri nets, explicitly representing dependencies between transition occurrences. For one-safe nets or condition/event-systems, the notion of process as defined by Carl Adam Petri provides a notion of a run of a system where causal dependencies are reflected in terms of a partial order. A well-known problem is how to generalise this notion for nets where places may carry several tokens. Goltz and Reisig have defined such a generalisation by distinguishing tokens according to their causal history. However, this so-called individual token interpretation is often considered too detailed. A number of approaches have tackled the problem of defining a more abstract notion of process, thereby obtaining a so-called collective token interpretation. Here we give a short overview on these attempts and then identify a subclass of Petri nets, called structural conflict nets, where the interplay between conflict and concurrency due to token multiplicity does not occur. For this subclass, we define abstract processes as equivalence classes of Goltz-Reisig processes. We justify this approach by showing that we obtain exactly one maximal abstract process if and only if the underlying net is conflict-free with respect to a canonical notion of conflict.