Pages that link to "Item:Q862989"
From MaRDI portal
The following pages link to Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty (Q862989):
Displaying 4 items.
- Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL} (Q440685) (← links)
- Qualitative simulation of temporal concurrent processes using time interval Petri nets (Q814432) (← links)
- Timed Petri nets and prediction to improve the Chandy-Misra conservative-distributed simulation (Q1854984) (← links)
- Exploring impact of time management services on HLA-based Petri Nets Simulation Engine (Q4800698) (← links)