Expressiveness of Petri nets with stopwatches. Discrete-time part

DOI10.3233/FI-2009-195MaRDI QIDQ3400539zbMATH OpenOpenAlexFDO

Authors Morgan Magnin, Pierre Molinaro, 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-195

zbMATH Keywords

decidabilitydiscrete-time semanticsexpressivenessPetri nets with stopwatchesreal-time systemstime Petri nets

Mathematics Subject Classification ID

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

Recommendations

• Expressiveness of Petri Nets with Stopwatches. Dense-time Part
• Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
• Reachability problems and abstract state spaces for time Petri nets with stopwatches
• The expressive power of time Petri nets
• Waiting nets

Cited in

(6)

• Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation
• Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis
• Waiting nets
• Expressiveness of Petri Nets with Stopwatches. Dense-time Part
• Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
• Reachability problems and abstract state spaces for time Petri nets with stopwatches

This page was built for publication: Expressiveness of Petri nets with stopwatches. Discrete-time part

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400539)