Geometry of reachability sets of vector addition systems

DOI10.4230/LIPICS.CONCUR.2023.6MaRDI QIDQ6967343zbMATH OpenFDO

Authors Roland Guttenberg, Mikhail Raskin, Javier Esparza

Publication date 26 June 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.CONCUR.2023.6

zbMATH Keywords

almost hybridlineargeometrypartitionPetri netreachability setvector addition system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A structure to decide reachability in Petri nets
• Co-finiteness and co-emptiness of reachability sets in vector addition systems with states
• Demystifying Reachability in Vector Addition Systems
• Enumerating projections of integer points in unbounded polyhedra
• Geometry of reachability sets of vector addition systems
• Presburger arithmetic, rational generating functions, and quasi-polynomials
• Presburger vector addition systems
• Reachability in vector addition systems is Ackermann-complete
• Reachability in vector addition systems is primitive-recursive in fixed dimension
• The reachability problem for Petri nets is not elementary
• The reachability problem for Petri nets is not primitive recursive
• The taming of the semi-linear set
• Vector addition system reachability problem: a short self-contained proof
• Vector addition systems reachability problem (a simpler solution)

Cited in

(5)

• Flattability of priority vector addition systems
• Geometry of reachability sets of vector addition systems
• The geometry of reachability in continuous vector addition systems with states
• An introduction to the theory of linear integer arithmetic (invited paper)
• Box-reachability in vector addition systems

This page was built for publication: Geometry of reachability sets of vector addition systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6967343)