Pages that link to "Item:Q3612926"
From MaRDI portal
The following pages link to Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets (Q3612926):
Displayed 4 items.
- On the composition of time Petri nets (Q645045) (← links)
- `True concurrency' semantics for time Petri nets with weak time and persistent atomic policies (Q2664520) (← 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)