Expressiveness of Petri Nets with Stopwatches. Discrete-time Part

DOI10.3233/FI-2009-195zbMath1343.68174OpenAlexW4248326224MaRDI QIDQ3400539

Olivier H. Roux, Morgan Magnin, Pierre Molinaro

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-195

zbMATH Keywords

real-time systemstime Petri netsdecidabilityexpressivenessdiscrete-time semanticsPetri nets with stopwatches

Mathematics Subject Classification ID

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

Related Items (1)

Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis

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