Gardey, Guillaume; Roux, Olivier H.; Roux, Olivier F. State space computation and analysis of time Petri nets. (English) Zbl 1104.68071 Theory Pract. Log. Program. 6, No. 3, 301-320 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Gardey} et al., Theory Pract. Log. Program. 6, No. 3, 301--320 (2006; Zbl 1104.68071) Full Text: DOI
Gardey, Guillaume; Roux, Olivier H.; Roux, Olivier F. Using zone graph method for computing the state space of a time Petri net. (English) Zbl 1099.68669 Larsen, Kim G. (ed.) et al., Formal modeling and analysis of timed systems. First international workshop, FORMATS 2003, Marseille, France, September 6–7, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21671-5/pbk). Lecture Notes in Computer Science 2791, 246-259 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Gardey} et al., Lect. Notes Comput. Sci. 2791, 246--259 (2004; Zbl 1099.68669) Full Text: DOI