Pages that link to "Item:Q5096376"
From MaRDI portal
The following pages link to Timed processes of Timed Petri Nets (Q5096376):
Displaying 17 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)
- Timed Petri nets with reset for pipelined synchronous circuit design (Q2117152) (← 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)
- (Q3696527) (← links)
- (Q4220896) (← links)
- (Q4508929) (← links)
- (Q4533005) (← links)
- Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets (Q4637907) (← links)
- (Q5457700) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494305) (← links)
- Time processes for time Petri nets (Q6487373) (← links)
- Timed Petri nets and temporal linear logic (Q6487374) (← links)