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):
Displaying 10 items.
- Automating the transformation-based analysis of visual languages (Q973037) (← links)
- Time-based expressivity of time Petri nets for system specification (Q1285652) (← links)
- Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics (Q2063100) (← links)
- Combining free choice and time in Petri nets (Q2291812) (← links)
- Strong behavioral similarities in timed-arc Petri nets (Q2335136) (← links)
- Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency) (Q2842569) (← links)
- (Q2842866) (← 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)
