Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan The complexity of diagnosability and opacity verification for Petri nets. (English) Zbl 1401.68221 Fundam. Inform. 161, No. 4, 317-349 (2018). MSC: 68Q85 68Q17 68Q60 PDF BibTeX XML Cite \textit{B. Bérard} et al., Fundam. Inform. 161, No. 4, 317--349 (2018; Zbl 1401.68221) Full Text: DOI
Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan The complexity of diagnosability and opacity verification for Petri nets. (English) Zbl 1393.68111 van der Aalst, Wil (ed.) et al., Application and theory of Petri nets and concurrency. 38th international conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57860-6/pbk; 978-3-319-57861-3/ebook). Lecture Notes in Computer Science 10258, 200-220 (2017). MSC: 68Q85 68Q17 PDF BibTeX XML Cite \textit{B. Bérard} et al., Lect. Notes Comput. Sci. 10258, 200--220 (2017; Zbl 1393.68111) Full Text: DOI