Magnin, Morgan; Molinaro, Pierre; Roux, Olivier H. Expressiveness of Petri nets with stopwatches. Discrete-time part. (English) Zbl 1343.68174 Fundam. Inform. 97, No. 1-2, 139-176 (2009). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Magnin} et al., Fundam. Inform. 97, No. 1--2, 139--176 (2009; Zbl 1343.68174) Full Text: DOI
Magnin, Morgan; Molinaro, Pierre; Roux, Olivier H. Expressiveness of Petri nets with stopwatches. Dense-time part. (English) Zbl 1200.68163 Fundam. Inform. 97, No. 1-2, 111-138 (2009). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Magnin} et al., Fundam. Inform. 97, No. 1--2, 111--138 (2009; Zbl 1200.68163) Full Text: DOI