Pages that link to "Item:Q1575828"
From MaRDI portal
The following pages link to A causal semantic for time Petri nets (Q1575828):
Displayed 13 items.
- Semantic domains of timed event structures (Q840017) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- A timed semantics of Orc (Q935476) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- A causal semantic for time Petri nets (Q1575828) (← links)
- Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
- ``Truly concurrent'' and nondeterministic semantics of discrete-time Petri nets (Q2216716) (← links)
- Testing equivalences of time Petri nets (Q2217206) (← links)
- Symbolic unfolding of parametric stopwatch Petri nets (Q2248088) (← links)
- Combining free choice and time in Petri nets (Q2291812) (← links)
- `True concurrency' semantics for time Petri nets with weak time and persistent atomic policies (Q2664520) (← links)
- Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics (Q2822654) (← links)
- Branching Processes of Timed Petri Nets (Q3179184) (← links)