The following pages link to Uli Schlachter (Q1647717):
Displayed 14 items.
- Over-approximative Petri net synthesis for restricted subclasses of nets (Q1647718) (← links)
- Bounded choice-free Petri net synthesis: algorithmic issues (Q1789066) (← links)
- Relabelling LTS for Petri net synthesis via solving separation problems (Q2032917) (← links)
- Factorisation of Petri net solvable transition systems (Q2280180) (← links)
- A geometric characterisation of event/state separation (Q2280181) (← links)
- Characterising Petri Net Solvable Binary Words (Q2822650) (← links)
- Petri Net Synthesis for Restricted Classes of Nets (Q2822652) (← links)
- A Graph-Theoretical Characterisation of State Separation (Q2971132) (← links)
- Incremental Process Discovery using Petri Net Synthesis (Q4601117) (← links)
- (Q4608667) (← links)
- Simultaneous Petri Net Synthesis (Q4621223) (← links)
- Properties of Plain, Pure, and Safe Petri Nets (Q4994075) (← links)
- (Q5111618) (← links)
- (Q5216152) (← links)