The following pages link to (Q4484509):
Displaying 5 items.
- Catalytic and communicating Petri nets are Turing complete (Q476166) (← links)
- Process semantics of general inhibitor nets (Q598184) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Domain and event structure semantics for Petri nets with read and inhibitor arcs (Q1882900) (← links)
- Investigating Reversibility of Steps in Petri Nets (Q5025059) (← links)