Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun Probably safe or live. (English) Zbl 1394.68231 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 55, 10 p. (2014). MSC: 68Q60 03B44 68Q85 68Q87 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 55, 10 p. (2014; Zbl 1394.68231) Full Text: DOI arXiv Link
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun A semantics for every GSPN. (English) Zbl 1381.68199 Colom, José-Manuel (ed.) et al., Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38696-1/pbk). Lecture Notes in Computer Science 7927, 90-109 (2013). MSC: 68Q85 68Q55 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 7927, 90--109 (2013; Zbl 1381.68199) Full Text: DOI