Time-based expressivity of time Petri nets for system specification

DOI10.1016/S0304-3975(98)00008-5MaRDI QIDQ1285652zbMATH OpenOpenAlexFDO

Authors Antonio Cerone, Andrea Maggiolo-Schettini

Publication date 28 April 1999

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(98)00008-5

zbMATH Keywords

semanticsformal languageexpressive powertime-critical systemstime(d) Petri net

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• 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
• scientific article; zbMATH DE number 1696462
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

Cites work

• scientific article; zbMATH DE number 3850481 (Why is no real title available?)
• scientific article; zbMATH DE number 4209631 (Why is no real title available?)
• scientific article; zbMATH DE number 4143457 (Why is no real title available?)
• scientific article; zbMATH DE number 4024803 (Why is no real title available?)
• scientific article; zbMATH DE number 4024805 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 3607505 (Why is no real title available?)
• Complexity of some problems in Petri nets
• Infinite behaviour of Petri nets
• Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Time-based expressivity of time Petri nets for system specification
• Timing Requirements for Time-Driven Systems Using Augmented Petri Nets

Cited in

(15)

• Petri nets with causal time for system verification
• Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics
• Combining free choice and time in Petri nets
• Expressiveness of Petri Nets with Stopwatches. Dense-time Part
• On Multi-enabledness in Time Petri Nets
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• Removing dead transitions in timed-arc Petri nets
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets
• A brief survey and synthesis of the roles of time in Petri nets.
• Time-based expressivity of time Petri nets for system specification
• scientific article; zbMATH DE number 1696462 (Why is no real title available?)
• Strong behavioral similarities in timed-arc Petri nets
• Automating the transformation-based analysis of visual languages
• Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)

This page was built for publication: Time-based expressivity of time Petri nets for system specification

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