Pages that link to "Item:Q6144211"
From MaRDI portal
The following pages link to Hardness Results for the Synthesis of b-bounded Petri Nets (Q6144211):
Displaying 4 items.
- The complexity of synthesizing \textsf{nop}-equipped Boolean Petri nets from \(g\)-bounded inputs (Q2032841) (← links)
- Synthesis of Petri nets with restricted place-environments: classical and parameterized (Q2117176) (← links)
- (Q5019696) (← links)
- Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis (Q5025057) (← links)
