The following pages link to (Q4251924):
Displayed 7 items.
- Regions of Petri nets with a/sync connections (Q714824) (← links)
- The synthesis of Petri nets from path-automatic specifications (Q1882929) (← links)
- Process Discovery Using Integer Linear Programming (Q3510879) (← links)
- On the Analysis of Petri Nets and their Synthesis from Process Languages (Q4462676) (← links)
- Process Model Discovery: A Method Based on Transition System Decomposition (Q5166757) (← links)
- Hasse Diagram Generators and Petri Nets (Q5902129) (← links)
- On the Petri net realization of context-free graphs (Q5941208) (← links)