We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

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

Abstract: 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.
Comments: The above result appeared already in our technical report arXiv:2103.00729, although formulated and proven differently, since there we didn't have the preorder $\sqsubseteq_1^\infty$, introduced in arXiv:2103.01490. Our revised proofs are conceptually simpler, as they avoid the auxiliary concepts of BD-runs and FS-runs
Subjects: Logic in Computer Science (cs.LO)
ACM classes: F.1.2
DOI: 10.1016/j.ic.2022.104939
Cite as: arXiv:2207.04362 [cs.LO]
  (or arXiv:2207.04362v1 [cs.LO] for this version)

Submission history

From: Rob van Glabbeek [view email]
[v1] Sun, 10 Jul 2022 01:36:30 GMT (37kb)

Link back to: arXiv, form interface, contact.