Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets

DOI10.1007/978-3-540-73094-1_7MaRDI QIDQ3612926zbMATH OpenOpenAlexFDO

Authors Marc Boyer, Olivier H. Roux

Publication date 11 March 2009

Published in Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73094-1_7

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5506896
• The expressive power of time Petri nets
• Formal Modeling and Analysis of Timed Systems
• Automated Technology for Verification and Analysis
• Time-based expressivity of time Petri nets for system specification

Cited in

(12)

• Time-based expressivity of time Petri nets for system specification
• The expressive power of time Petri nets
• `True concurrency' semantics for time Petri nets with weak time and persistent atomic policies
• Weak Time Petri Nets Strike Back!
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• scientific article; zbMATH DE number 5506896 (Why is no real title available?)
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• Expressiveness of dynamic networks of timed Petri nets
• Automated Technology for Verification and Analysis
• Formal Modeling and Analysis of Timed Systems
• On the composition of time Petri nets
• A survey on performance evaluations in time-dependent Petri nets

This page was built for publication: Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets

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