The following pages link to (Q3833596):
Displaying 5 items.
- Petri net semantics of priority systems (Q1190490) (← links)
- Process languages and nets (Q1575245) (← links)
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769) (← links)
- On nets, algebras and modularity (Q5096217) (← links)
- From Logic to Theoretical Computer Science – An Update (Q5452171) (← links)