Pages that link to "Item:Q2822652"
From MaRDI portal
The following pages link to Petri Net Synthesis for Restricted Classes of Nets (Q2822652):
Displaying 11 items.
- Petri net synthesis (Q897109) (← links)
- Reduction and synthesis of live and bounded free choice Petri nets (Q1336048) (← links)
- Over-approximative Petri net synthesis for restricted subclasses of nets (Q1647718) (← links)
- The synthesis problem of Petri nets (Q1901703) (← links)
- Synthesis of Petri nets with restricted place-environments: classical and parameterized (Q2117176) (← links)
- Presynthesis of bounded choice-free or fork-attribution nets (Q2304527) (← links)
- A Symbolic Algorithm for the Synthesis of Bounded Petri Nets (Q3510859) (← links)
- Simultaneous Petri Net Synthesis (Q4621223) (← links)
- (Q4782071) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)
- Stratified petri nets (Q5055926) (← links)