Akshay, S.; Chakraborty, Supratik; Das, Ankush; Jagannath, Vishal; Sandeep, Sai On Petri nets with hierarchical special arcs. (English) Zbl 1442.68122 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 40, 17 p. (2017). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Akshay} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 40, 17 p. (2017; Zbl 1442.68122) Full Text: DOI
Lasota, Sławomir; Poturalski, Marcin Undecidability of performance equivalence of Petri nets. (English) Zbl 1356.68155 Theor. Comput. Sci. 655, Part B, 109-119 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Lasota} and \textit{M. Poturalski}, Theor. Comput. Sci. 655, Part B, 109--119 (2016; Zbl 1356.68155) Full Text: DOI
Verlan, Sergey Universality in molecular and cellular computing. (English) Zbl 06496607 Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20027-9/pbk; 978-3-319-20028-6/ebook). Lecture Notes in Computer Science 9136, 95-104 (2015). MSC: 68Qxx PDF BibTeX XML Cite \textit{S. Verlan}, Lect. Notes Comput. Sci. 9136, 95--104 (2015; Zbl 06496607) Full Text: DOI
Demri, Stéphane On selective unboundedness of VASS. (English) Zbl 1285.68094 J. Comput. Syst. Sci. 79, No. 5, 689-713 (2013). MSC: 68Q60 PDF BibTeX XML Cite \textit{S. Demri}, J. Comput. Syst. Sci. 79, No. 5, 689--713 (2013; Zbl 1285.68094) Full Text: DOI