The following pages link to State space axioms for T-systems (Q2340253):
Displayed 7 items.
- Characterisation of the state spaces of marked graph Petri nets (Q515678) (← links)
- Bounded choice-free Petri net synthesis: algorithmic issues (Q1789066) (← links)
- Presynthesis of bounded choice-free or fork-attribution nets (Q2304527) (← links)
- Petri Net Synthesis for Restricted Classes of Nets (Q2822652) (← links)
- Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems (Q3297771) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)
- A New Property of Choice-Free Petri Net Systems (Q5100751) (← links)