Praveen, M. Small vertex cover makes Petri net coverability and boundedness easier. (English) Zbl 1410.68258 Algorithmica 65, No. 4, 713-753 (2013). MSC: 68Q85 05C70 68Q17 68Q25 68Q60 PDFBibTeX XMLCite \textit{M. Praveen}, Algorithmica 65, No. 4, 713--753 (2013; Zbl 1410.68258) Full Text: DOI arXiv
Praveen, M. Small vertex cover makes Petri net coverability and boundedness easier. (English) Zbl 1253.68250 Raman, Venkatesh (ed.) et al., Parameterized and exact computation. 5th international symposium, IPEC 2010, Chennai, India, December 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17492-6/pbk). Lecture Notes in Computer Science 6478, 216-227 (2010). MSC: 68Q85 05C70 68Q25 68Q60 PDFBibTeX XMLCite \textit{M. Praveen}, Lect. Notes Comput. Sci. 6478, 216--227 (2010; Zbl 1253.68250) Full Text: DOI arXiv