Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSTTCS.2019.3
URN: urn:nbn:de:0030-drops-115653
URL: https://drops.dagstuhl.de/opus/volltexte/2019/11565/
Lazic, Ranko
Finkel Was Right: Counter-Examples to Several Conjectures on Variants of Vector Addition Systems (Invited Talk)
| pdf-format: |
|
Abstract
Studying one-dimensional grammar vector addition systems has long been advocated by Alain Finkel. In this presentation, we shall see how research on those systems has led to the recent breakthrough tower lower bound for the reachability problem on vector addition systems, obtained by Czerwinski et al. In fact, we shall look at how appropriate modifications of an underlying technical construction can lead to counter-examples to several conjectures on one-dimensional grammar vector addition systems, fixed-dimensional vector addition systems, and fixed-dimensional flat vector addition systems.
BibTeX - Entry
@InProceedings{lazic:LIPIcs:2019:11565,
author = {Ranko Lazic},
title = {{Finkel Was Right: Counter-Examples to Several Conjectures on Variants of Vector Addition Systems (Invited Talk)}},
booktitle = {39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019)},
pages = {3:1--3:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-131-3},
ISSN = {1868-8969},
year = {2019},
volume = {150},
editor = {Arkadev Chattopadhyay and Paul Gastin},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2019/11565},
URN = {urn:nbn:de:0030-drops-115653},
doi = {10.4230/LIPIcs.FSTTCS.2019.3},
annote = {Keywords: Petri nets, vector addition systems, reachability}
}
| Keywords: | Petri nets, vector addition systems, reachability | |
| Seminar: | 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) | |
| Issue date: | 2019 | |
| Date of publication: | 04.12.2019 |
