Pages that link to "Item:Q5096376"
From MaRDI portal
The following pages link to Timed processes of Timed Petri Nets (Q5096376):
Displayed 7 items.
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- A causal semantic for time Petri nets (Q1575828) (← links)
- A brief survey and synthesis of the roles of time in Petri nets. (Q1597067) (← links)
- ``Truly concurrent'' and nondeterministic semantics of discrete-time Petri nets (Q2216716) (← links)
- Testing equivalences of time Petri nets (Q2217206) (← links)
- Combining free choice and time in Petri nets (Q2291812) (← links)
- Comparing Semantics Under Strong Timing of Petri Nets (Q3455089) (← links)