Reachability in Fixed Dimension Vector Addition Systems with States

Wojciech Czerwiński (1) , Slawomir Lasota (1) , Ranko Lazić (2) , Jérôme Leroux (3) , Filip Mazowiecki (4)

1 Institute of Informatics, University of Warsaw, Banacha 2, 02-097 Warsaw, Poland.
2 Department of Computer Science [Warwick]
3 LaBRI - Laboratoire Bordelais de Recherche en Informatique
4 MPI-SWS - Max Planck Institute for Software Systems

Domaines: Informatique [cs]

Wojciech Czerwiński, Slawomir Lasota, Ranko Lazić, Jérôme Leroux, Filip Mazowiecki. Reachability in Fixed Dimension Vector Addition Systems with States. 31st International Conference on Concurrency Theory, {CONCUR} 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), Sep 2020, Vienna, Austria. pp.48:1--48:21. ⟨hal-03052567⟩