Expressiveness of dynamic networks of timed Petri nets

DOI10.1007/978-3-319-04921-2_42MaRDI QIDQ5404940zbMATH OpenOpenAlexWikidataFDO

Authors María Martos-Salgado, Fernando Rosa-Velardo

Publication date 31 March 2014

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-04921-2_42

Mathematics Subject Classification ID

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

Recommendations

• Dynamic networks of timed Petri nets
• The expressive power of time Petri nets
• Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets
• scientific article; zbMATH DE number 5506896
• Formal Modeling and Analysis of Timed Systems

Cited in

(7)

• A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
• Expressiveness of Petri Nets with Stopwatches. Dense-time Part
• Dynamic networks of timed Petri nets
• On Multi-enabledness in Time Petri Nets
• Formal Modeling and Analysis of Timed Systems
• A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes
• scientific article; zbMATH DE number 5506896 (Why is no real title available?)

This page was built for publication: Expressiveness of dynamic networks of timed Petri nets

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