The following pages link to Processes of timed Petri nets (Q1575631):
Displaying 11 items.
- Firing sequences and processes of Petri nets (Q1376685) (← links)
- A causal semantic for time Petri nets (Q1575828) (← links)
- Petri nets and regular processes (Q1970202) (← links)
- Strong behavioral similarities in timed-arc Petri nets (Q2335136) (← links)
- (Q4220896) (← 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)