Leroux, Jérôme; Schmitz, Sylvain Ideal decompositions for vector addition systems (invited talk). (English) Zbl 1388.68199 Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 1, 13 p. (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Leroux} and \textit{S. Schmitz}, LIPIcs -- Leibniz Int. Proc. Inform. 47, Article 1, 13 p. (2016; Zbl 1388.68199) 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
Leroux, Jerome; Schmitz, Sylvain Demystifying reachability in vector addition systems. (English) Zbl 1392.68308 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 56-67 (2015). MSC: 68Q85 68Q25 68Q60 PDF BibTeX XML Cite \textit{J. Leroux} and \textit{S. Schmitz}, in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 56--67 (2015; Zbl 1392.68308) Full Text: DOI