Abstract processes in the absence of conflicts in general place/transition systems

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

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

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-Reisig processes connected through the swapping transformation of Best and Devillers; they can be considered as an alternative representation of runs of nets. Here we present an order respecting bijection between the BD-processes and the FS-processes of a countable net, the latter being defined—in an analogous way—as equivalence classes of firing sequences. Using this, we show that a countable net without binary conflicts has a (unique) largest BD-process.
Original languageEnglish
Article number104939
Number of pages13
JournalInformation and Computation
Volume289
Issue numberPart A
Early online date3 Jul 2022
DOIs
Publication statusPublished - 22 Nov 2022

Fingerprint

Dive into the research topics of 'Abstract processes in the absence of conflicts in general place/transition systems'. Together they form a unique fingerprint.

Cite this