On Multi-enabledness in Time Petri Nets
From MaRDI portal
Publication:5300869
Recommendations
- Towards a general model to handle multi-enabledness in time Petri nets
- scientific article; zbMATH DE number 4074793
- The expressive power of time Petri nets
- On the composition of time Petri nets
- On persistency in time Petri nets
- scientific article; zbMATH DE number 1228291
- Petri nets with k simultaneously enabled generally distributed timed transitions
- Time-based expressivity of time Petri nets for system specification
- Expressiveness of dynamic networks of timed Petri nets
- Robustness of time Petri nets under architectural constraints
Cited in
(7)- Delay-dependent partial order reduction technique for real time systems
- Decidable classes of unbounded Petri nets with time and urgency
- `True concurrency' semantics for time Petri nets with weak time and persistent atomic policies
- Combining free choice and time in Petri nets
- Towards a consistent semantics for unsafe time Petri nets
- Time based deadlock prevention for Petri nets
- Towards a general model to handle multi-enabledness in time Petri nets
This page was built for publication: On Multi-enabledness in Time Petri Nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5300869)