The Reachability Problem for Vector Addition System with One Zero-Test

DOI10.1007/978-3-642-22993-0_16zbMATH Open1343.68160OpenAlexW62188582MaRDI QIDQ3088035FDOQ3088035

Authors: Rémi Bonnet 

Publication date: 17 August 2011

Published in: Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22993-0_16

Recommendations

• scientific article; zbMATH DE number 3878366
• Vector addition system reachability problem: a short self-contained proof
• Vector addition system reachability problem, a short self-contained proof
• scientific article; zbMATH DE number 4092784
• scientific article; zbMATH DE number 7559493
• Model checking vector addition systems with one zero-test
• Decidability of LTL for vector addition systems with one zero-test
• Demystifying Reachability in Vector Addition Systems
• Place-boundedness for vector addition systems with one zero-test
• scientific article; zbMATH DE number 7559504

Mathematics Subject Classification ID

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

Cited In (15)

• Mixing coverability and reachability to analyze VASS with one zero-test
• Decidability of LTL for vector addition systems with one zero-test
• Model checking vector addition systems with one zero-test
• Coverability and Termination in Recursive Petri Nets
• On Petri nets with hierarchical special arcs
• Title not available (Why is that?)
• Place-boundedness for vector addition systems with one zero-test
• Title not available (Why is that?)
• Universality in Molecular and Cellular Computing
• Zero-reachability in probabilistic multi-counter automata
• The complexity of bidirected reachability in valence systems
• Vector Addition System Reversible Reachability Problem
• On selective unboundedness of VASS
• Undecidability of performance equivalence of Petri nets
• Coverability, termination, and finiteness in recursive Petri nets

This page was built for publication: The Reachability Problem for Vector Addition System with One Zero-Test

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