The geometry of reachability in continuous vector addition systems with states

DOI10.4230/LIPICS.MFCS.2023.11MaRDI QIDQ6647635FDOQ6647635

Authors: Shaull Almagor, Arka P. Ghosh, Tim Leys, G. A. Pérez 

Publication date: 3 December 2024

Recommendations

• Polynomial vector addition systems with states
• Reachability in two-dimensional vector addition systems with states is PSPACE-complete
• Logics for continuous reachability in Petri nets and vector addition systems with states
• CONCUR 2004 - Concurrency Theory

zbMATH Keywords

reachabilitycontinuous approximationvector addition system with states

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: The geometry of reachability in continuous vector addition systems with states

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