Vector addition system reachability problem: a short self-contained proof

DOI10.1007/978-3-642-21254-3_3MaRDI QIDQ3004566zbMATH OpenOpenAlexFDO

Authors Jérôme Leroux

Publication date 3 June 2011

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-21254-3_3

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Vector addition system reachability problem, a short self-contained proof
• The general vector addition system reachability problem by Presburger inductive invariants
• Presburger vector addition systems
• Demystifying Reachability in Vector Addition Systems
• scientific article; zbMATH DE number 3928356

Cited in

(15)

• Geometry of reachability sets of vector addition systems
• scientific article; zbMATH DE number 4092784 (Why is no real title available?)
• Presburger vector addition systems
• The Reachability Problem for Vector Addition System with One Zero-Test
• The general vector addition system reachability problem by Presburger inductive invariants
• On the context-freeness problem for vector addition systems
• scientific article; zbMATH DE number 3928356 (Why is no real title available?)
• Rewriting systems for reachability in vector addition systems with pairs
• Vector addition system reachability problem, a short self-contained proof
• Flattability of priority vector addition systems
• Vector Addition System Reversible Reachability Problem
• Expand, Enlarge, and Check for Branching Vector Addition Systems
• Ideal decompositions for vector addition systems (invited talk)
• The Reachability Problem for Two-Dimensional Vector Addition Systems with States
• Demystifying Reachability in Vector Addition Systems

This page was built for publication: Vector addition system reachability problem: a short self-contained proof

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