Expressiveness of Petri Nets with Stopwatches. Dense-time Part

DOI10.3233/FI-2009-194MaRDI QIDQ3400538zbMATHOpenAlexFDO

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

Recommendations

• Expressiveness of Petri nets with stopwatches. Discrete-time part
• The expressive power of time Petri nets
• Expressiveness of dynamic networks of timed Petri nets
• Time-based expressivity of time Petri nets for system specification
• Reachability problems and abstract state spaces for time Petri nets with stopwatches
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• Parametric model-checking of stopwatch Petri nets
• Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
• Formal Modeling and Analysis of Timed Systems
• scientific article; zbMATH DE number 4074793

Cited in

(5)

• Reachability problems and abstract state spaces for time Petri nets with stopwatches
• Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation
• Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
• Expressiveness of Petri nets with stopwatches. Discrete-time part
• Waiting nets

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

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