Abstract Processes in the Absence of Conflicts in General Place/Transition Systems

Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann

Goltz and Reisig generalised Petri's concept of processes of one-safe Petri nets to general nets where places carry multiple tokens. BD-processes are equivalence classes of Goltz-R…