Expressiveness of Petri nets with stopwatches. Discrete-time part

DOI10.3233/FI-2009-195zbMATH Open1343.68174OpenAlexW4248326224MaRDI QIDQ3400539FDOQ3400539

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

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

zbMATH Keywords

decidabilityreal-time systemsexpressivenesstime Petri netsdiscrete-time semanticsPetri nets with stopwatches

Mathematics Subject Classification ID

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

Cited In (5)

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

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)