Lazić, Ranko; Schmitz, Sylvain The complexity of coverability in \(\nu\)-Petri nets. (English) Zbl 1392.68306 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 467-476 (2016). MSC: 68Q85 68Q25 68Q60 PDF BibTeX XML Cite \textit{R. Lazić} and \textit{S. Schmitz}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 467--476 (2016; Zbl 1392.68306) Full Text: DOI
Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick Coverability trees for Petri nets with unordered data. (English) Zbl 06591835 Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49629-9/pbk; 978-3-662-49630-5/ebook). Lecture Notes in Computer Science 9634, 445-461 (2016). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Hofman} et al., Lect. Notes Comput. Sci. 9634, 445--461 (2016; Zbl 06591835) Full Text: DOI
Lazić, Ranko; Schmitz, Sylvain The ideal view on Rackoff’s coverability technique. (English) Zbl 06798768 Bojańczyk, Mikołaj (ed.) et al., Reachability problems. 9th international workshop, RP 2015, Warsaw, Poland, September 21–23, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24536-2/pbk; 978-3-319-24537-9/ebook). Lecture Notes in Computer Science 9328, 76-88 (2015). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. Lazić} and \textit{S. Schmitz}, Lect. Notes Comput. Sci. 9328, 76--88 (2015; Zbl 06798768) Full Text: DOI
Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain Fixed-dimensional energy games are in pseudo-polynomial time. (English) Zbl 1440.68122 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 260-272 (2015). MSC: 68Q25 91A80 PDF BibTeX XML Cite \textit{M. Jurdziński} et al., Lect. Notes Comput. Sci. 9135, 260--272 (2015; Zbl 1440.68122) Full Text: DOI
Lazić, Ranko; Schmitz, Sylvain Nonelementary complexities for branching VASS, MELL, and extensions. (English) Zbl 1354.68128 ACM Trans. Comput. Log. 16, No. 3, Article No. 20, 30 p. (2015). MSC: 68Q25 03F52 68Q17 68Q85 PDF BibTeX XML Cite \textit{R. Lazić} and \textit{S. Schmitz}, ACM Trans. Comput. Log. 16, No. 3, Article No. 20, 30 p. (2015; Zbl 1354.68128) Full Text: DOI
Lazić, Ranko; Schmitz, Sylvain Non-elementary complexities for branching VASS, MELL, and extensions. (English) Zbl 1394.68189 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 61, 10 p. (2014). MSC: 68Q25 03F52 68Q17 68Q85 PDF BibTeX XML Cite \textit{R. Lazić} and \textit{S. Schmitz}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 61, 10 p. (2014; Zbl 1394.68189) Full Text: DOI