Expressiveness of Petri Nets with Stopwatches. Dense-time Part

DOI10.3233/FI-2009-194zbMath1200.68163OpenAlexW1768560255MaRDI QIDQ3400538

Pierre Molinaro, Morgan Magnin, Olivier H. Roux

Publication date: 5 February 2010

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2009-194

zbMATH Keywords

real-time systems, time Petri nets, Petri nets with stopwatches, expressiveness

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Expressiveness of Petri Nets with Stopwatches. Dense-time Part