The following pages link to (Q3680254):
Displaying 6 items.
- Sequential and concurrent behaviour in Petri net theory (Q1119024) (← links)
- Defining concurrent processes constructively (Q1314421) (← links)
- Semi-commutations and Petri nets (Q1822948) (← links)
- Specifying reversibility with \(\mathrm{TLA}^+\) (Q2210867) (← links)
- (Q3339295) (← links)
- Compositional process semantics of Petri Boxes (Q5890051) (← links)