Wolf, Karsten Interleaving based model checking of concurrency and causality. (English) Zbl 1397.68123 Fundam. Inform. 161, No. 4, 423-445 (2018). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{K. Wolf}, Fundam. Inform. 161, No. 4, 423--445 (2018; Zbl 1397.68123) Full Text: DOI
Hujsa, Thomas; Devillers, Raymond On deadlockability, liveness and reversibility in subclasses of weighted Petri nets. (English) Zbl 1400.68135 Fundam. Inform. 161, No. 4, 383-421 (2018). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. Hujsa} and \textit{R. Devillers}, Fundam. Inform. 161, No. 4, 383--421 (2018; Zbl 1400.68135) Full Text: DOI
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří A distributed fixed-point algorithm for extended dependency graphs. (English) Zbl 1396.68070 Fundam. Inform. 161, No. 4, 351-381 (2018). MSC: 68Q60 68Q85 68W15 PDFBibTeX XMLCite \textit{A. E. Dalsgaard} et al., Fundam. Inform. 161, No. 4, 351--381 (2018; Zbl 1396.68070) 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 1401.68221 Fundam. Inform. 161, No. 4, 317-349 (2018). MSC: 68Q85 68Q17 68Q60 PDFBibTeX XMLCite \textit{B. Bérard} et al., Fundam. Inform. 161, No. 4, 317--349 (2018; Zbl 1401.68221) Full Text: DOI
van der Aalst, Wil (ed.); Best, Eike (ed.); Penczek, Wojciech (ed.) Application and theory of Petri nets and other models of concurrency: special issue of selected papers from Petri Nets 2017. Preface. (English) Zbl 1435.68043 Fundam. Inform. 161, No. 4, i-ii (2018). MSC: 68-06 68Q85 00B25 PDFBibTeX XMLCite \textit{W. van der Aalst} (ed.) et al., Fundam. Inform. 161, No. 4, i-ii (2018; Zbl 1435.68043) Full Text: DOI