Pages that link to "Item:Q3660933"
From MaRDI portal
The following pages link to Timing Requirements for Time-Driven Systems Using Augmented Petri Nets (Q3660933):
Displayed 10 items.
- On-the-fly \(TCTL\) model checking for time Petri nets (Q732013) (← links)
- Performance evaluation of systems of cyclic sequential processes with mutual exclusion using Petri nets (Q1071516) (← links)
- Performance evaluation of concurrent systems using conflict-free and persistent Petri nets (Q1108799) (← links)
- Time-based expressivity of time Petri nets for system specification (Q1285652) (← links)
- A brief survey and synthesis of the roles of time in Petri nets. (Q1597067) (← links)
- A generic causal model for place latency. (Q1853520) (← links)
- Timed Petri Nets: Probabilistic Selection Of Data Dependent Paths (Q3479509) (← links)
- Concurrency and Time in Role-Based Access Control (Q3558779) (← links)
- Synchro-net system: A Petri net model for higher-layer protocols (Q4462113) (← links)
- Petri net-based modelling of workflow systems: An overview (Q5952515) (← links)