The following pages link to (Q4948012):
Displayed 10 items.
- Process semantics of general inhibitor nets (Q598184) (← links)
- Executability of scenarios in Petri nets (Q1006647) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Analysis issues in Petri nets with inhibitor arcs (Q1606123) (← links)
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- On Interval Process Semantics of Petri Nets with Inhibitor Arcs (Q2941144) (← links)
- Synthesis of Petri Nets with Whole-Place Operations and Localities (Q3179395) (← links)
- Step traces (Q5963403) (← links)