@inproceedings{Czerwinski:2019:RPP:3313276.3316369,
    Address = {New York, NY, USA},
    Author = {Czerwi\'{n}ski, Wojciech and Lasota, S{{\l}}awomir and Lazi\'{c}, Ranko and Leroux, J{\'e}r\^{o}me and Mazowiecki, Filip},
    BookTitle = {Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing},
    File = {The Reachability Problem for Petri Nets is Not Elementary - stoc19main-p235-p - a - a - f.pdf},
    ISBN = {978-1-4503-6705-9},
    Keywords = {Petri nets, reachability problems, vector addition systems},
    Location = {Phoenix, AZ, USA},
    Pages = {24--33},
    Publisher = {ACM},
    Series = {STOC 2019},
    Title = {The Reachability Problem for Petri Nets is Not Elementary},
    URL = {http://doi.acm.org/10.1145/3313276.3316369},
    Year = {2019},
    acmid = {3316369},
    bdsk-url-1 = {http://doi.acm.org/10.1145/3313276.3316369},
    bdsk-url-2 = {https://doi.org/10.1145/3313276.3316369},
    date-added = {2019-08-19 12:02:35 +0200},
    date-modified = {2019-08-19 12:02:35 +0200},
    numpages = {10},
    doi = {10.1145/3313276.3316369}
}

@inproceedings{Czerwinski:2019:RPP:3313276.3316369, Address = {New York, NY, USA}, Author = {Czerwi\'{n}ski, Wojciech and Lasota, S{{\l}}awomir and Lazi\'{c}, Ranko and Leroux, J{\'e}r\^{o}me and Mazowiecki, Filip}, BookTitle = {Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing}, File = {The Reachability Problem for Petri Nets is Not Elementary - stoc19main-p235-p - a - a - f.pdf}, ISBN = {978-1-4503-6705-9}, Keywords = {Petri nets, reachability problems, vector addition systems}, Location = {Phoenix, AZ, USA}, Pages = {24--33}, Publisher = {ACM}, Series = {STOC 2019}, Title = {The Reachability Problem for Petri Nets is Not Elementary}, URL = {http://doi.acm.org/10.1145/3313276.3316369}, Year = {2019}, acmid = {3316369}, bdsk-url-1 = {http://doi.acm.org/10.1145/3313276.3316369}, bdsk-url-2 = {https://doi.org/10.1145/3313276.3316369}, date-added = {2019-08-19 12:02:35 +0200}, date-modified = {2019-08-19 12:02:35 +0200}, numpages = {10}, doi = {10.1145/3313276.3316369} }