Pages that link to "Item:Q1285652"
From MaRDI portal
The following pages link to Time-based expressivity of time Petri nets for system specification (Q1285652):
Displayed 5 items.
- Automating the transformation-based analysis of visual languages (Q973037) (← links)
- Time-based expressivity of time Petri nets for system specification (Q1285652) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- Removing dead transitions in timed-arc Petri nets (Q3612723) (← links)