The following pages link to (Q3738569):
Displaying 7 items.
- Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
- A theory of implementation and refinement in timed Petri nets (Q1128980) (← links)
- Petri net reactive modules (Q2503287) (← links)
- (Q3704896) (← links)
- (Q4223064) (← links)
- (Q4883195) (← links)
- Asynchronous communication of Petri Nets and the refinement of transitions (Q5204351) (← links)