The following pages link to (Q3785958):
Displaying 6 items.
- A theory of implementation and refinement in timed Petri nets (Q1128980) (← links)
- Elementary transition systems and refinement (Q1323371) (← links)
- Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
- Petri net reactive modules (Q2503287) (← links)
- Functional equivalences of Petri nets (Q5096374) (← links)
- Asynchronous communication of Petri Nets and the refinement of transitions (Q5204351) (← links)