The following pages link to Workcraft (Q13765):
Displaying 4 items.
- Compact and efficiently verifiable models for concurrent systems (Q1620959) (← links)
- Synthesising elementary net systems with localities (Q2077411) (← links)
- Model checking Petri nets with MSVL (Q2279737) (← links)
- Occurrence Nets Then and Now: The Path to Structured Occurrence Nets (Q3011878) (← links)