Separability of Reachability Sets of Vector Addition Systems

DOI10.4230/LIPIcs.STACS.2017.24zbMath1402.68132arXiv1609.00214OpenAlexW2962811419MaRDI QIDQ4636622

Wojciech Czerwiński, Charles Paperman, Lorenzo Clemente, Sławomir Lasota

Publication date: 19 April 2018

Full work available at URL: https://arxiv.org/abs/1609.00214

zbMATH Keywords

separabilityPetri netsdecidabilitymodular setsunary sets

Mathematics Subject Classification ID

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

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Unboundedness Problems for Languages of Vector Addition Systems.

This page was built for publication: Separability of Reachability Sets of Vector Addition Systems