Abstract:A well-known problem in Petri net theory is to formalise an appropriate causality-based concept of process or run for place/transition systems. The so-called individual token interpretation, where tokens are distinguished according to their causal history, giving rise to the processes of Goltz and Reisig, is often considered too detailed. The problem of defining a fully satisfying more abstract concept of process for general place/transition systems has so-far not been solved. In this paper, we recall the proposal of defining an abstract notion of process, here called BD-process, in terms of equivalence classes of Goltz-Reisig processes, using an equivalence proposed by Best and Devillers. It yields a fully satisfying solution for at least all one-safe nets. However, for certain nets which intuitively have different conflicting behaviours, it yields only one maximal abstract process. Here we identify a class of place/transition systems, called structural conflict nets, where conflict and concurrency due to token multiplicity are clearly separated. We show that, in the case of structural conflict nets, the equivalence proposed by Best and Devillers yields a unique maximal abstract process only for conflict-free nets. Thereby BD-processes constitute a simple and fully satisfying solution in the class of structural conflict nets.

Free-Choice Nets With Home Clusters Are Lucent

Supervisor design for a class of generalized Petri net with uncontrollable transitions

Supervisor Synthesis for Enforcing Linear Constraints on A Class of Petri Nets with Unobservable Transitions

Normalized Cascade Structures And Logic Control

Supervisor Synthesis for a Class of Forbidden State Problems in Petri Nets

One Kind of Petri Nets with Systematized Changeable Structure

A Dioid Linear Algebra Approach to Study a Class of Continuous Petri Nets

Deficiency Zero Petri Nets and Product Form

On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets

On Concept of Creative Petri Nets

Stochastic Decision Petri Nets

On Refinement of Model Structure for Stochastic Petri Nets

An Algebraic Model For Performance Evaluation Of A Class Of Continuous Petri Nets

Decidable Models of Recursive Asynchronous Concurrency

On Concept of Petri Nets Receptors and Effectors

Abstract Processes and Conflicts in Place/Transition Systems

Waiting Nets: State Classes and Taxonomy

Abstract Processes of Place/Transition Systems

On the analysis of stochastic high level Petri net models

Petri nets: Properties, analysis and applications

Network Models from Petri Nets with Catalysts