Pages that link to "Item:Q6044115"
From MaRDI portal
The following pages link to Synthesis of nets with inhibitor arcs (Q6044115):
Displaying 6 items.
- Regions of Petri nets with a/sync connections (Q714824) (← links)
- Applying regions (Q728281) (← links)
- Universal Petri net (Q2263192) (← links)
- Small universal deterministic Petri nets with inhibitors arcs (Q3178869) (← links)
- Synthesis of Nets with Step Firing Policies (Q5900140) (← links)
- Transition systems of Elementary Net Systems with inhibitor arcs (Q6487381) (← links)