Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain Forward analysis and model checking for trace bounded WSTS. (English) Zbl 1343.68162 Theor. Comput. Sci. 637, 1-29 (2016). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{P. Chambart} et al., Theor. Comput. Sci. 637, 1--29 (2016; Zbl 1343.68162) Full Text: DOI
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain Forward analysis and model checking for trace bounded WSTS. (English) Zbl 1330.68197 Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 49-68 (2011). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{P. Chambart} et al., Lect. Notes Comput. Sci. 6709, 49--68 (2011; Zbl 1330.68197) Full Text: DOI