Lu, Faming; Tao, Ranran; Du, Yuyue; Zeng, Qingtian; Bao, Yunxia Deadlock detection-oriented unfolding of unbounded Petri nets. (English) Zbl 1451.68192 Inf. Sci. 497, 1-22 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Lu} et al., Inf. Sci. 497, 1--22 (2019; Zbl 1451.68192) Full Text: DOI
Jard, Claude; Lime, Didier; Roux, Olivier H.; Traonouez, Louis-Marie Symbolic unfolding of parametric stopwatch Petri nets. (English) Zbl 1291.68289 Form. Methods Syst. Des. 43, No. 3, 493-519 (2013). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{C. Jard} et al., Form. Methods Syst. Des. 43, No. 3, 493--519 (2013; Zbl 1291.68289) Full Text: DOI HAL