Pages that link to "Item:Q878111"
From MaRDI portal
The following pages link to Verification of bounded Petri nets using integer programming (Q878111):
Displaying 5 items.
- Verification of bounded Petri nets using integer programming (Q878111) (← links)
- Integer linear programming and the analysis of some Petri net problems (Q1293552) (← links)
- SAT-solving the coverability problem for Petri nets (Q1878911) (← links)
- Occurrence Nets Then and Now: The Path to Structured Occurrence Nets (Q3011878) (← links)
- Failures: Their Definition, Modelling and Analysis (Q3525090) (← links)