The following pages link to (Q4948015):
Displayed 6 items.
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- Synthesising elementary net systems with localities (Q2077411) (← links)
- Step semantics of Boolean nets (Q2376982) (← links)
- Tissue Systems and Petri Net Synthesis (Q3452477) (← links)
- Synthesis of Nets with Step Firing Policies (Q5900140) (← links)