Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Flow event structures and flow nets
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
On the nature of events: another perspective in concurrency
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
An event structure semantics for general Petri nets
Theoretical Computer Science - Special volume on Petri nets
Information and Computation
Process semantics for place/transition nets with inhibitor and read arcs
Fundamenta Informaticae - Special issue prepared in tribute to Peter Ernst on the occasion of his retirement
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
MFCS '92 Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science
A Comparison of Petri Net Semantics under the Collective Token Philosophy
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
A Generalized Event Structure for the Muller Unfolding of a Safe Net
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Causality for Mobile Processes
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
| Hi-index | 0.00 |
In recent years the collective tokens philosophy for Petri Nets has gained again the stage, but it is commonly set in opposition to the individual tokens philosophy. In this paper we investigate what can be an adequate event structures to capture the collective tokens philosophy of nets when inhibitor arcs are taken into account.