Time-based expressivity of time Petri nets for system specification
DOI10.1016/S0304-3975(98)00008-5zbMATH Open0914.68145OpenAlexW2074016802MaRDI QIDQ1285652FDOQ1285652
Andrea Maggiolo-Schettini, Antonio Cerone
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
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Complexity of some problems in Petri nets
- Title not available (Why is that?)
- Recoverability of Communication Protocols--Implications of a Theoretical Study
- Title not available (Why is that?)
- Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
- Infinite behaviour of Petri nets
- Time-based expressivity of time Petri nets for system specification
- Title not available (Why is that?)
Cited In (15)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- Expressiveness of Petri Nets with Stopwatches. Dense-time Part
- On Multi-enabledness in Time Petri Nets
- Strong behavioral similarities in timed-arc Petri nets
- Time-based expressivity of time Petri nets for system specification
- Removing dead transitions in timed-arc 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.
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- Title not available (Why is that?)
- Combining free choice and time in Petri nets
- Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics
- Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)
- Petri nets with causal time for system verification
- Automating the transformation-based analysis of visual languages
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)
