Pages that link to "Item:Q856211"
From MaRDI portal
The following pages link to Mathematical programming approach to the Petri nets reachability problem (Q856211):
Displaying 6 items.
- Macro liveness graph and liveness of \(\omega\)-independent unbounded nets (Q893846) (← links)
- Integer linear programming and the analysis of some Petri net problems (Q1293552) (← links)
- On reachability graphs of Petri nets (Q1860056) (← links)
- Petri net representation and reachability analysis of 0--1 integer linear programming problems (Q2293169) (← links)
- (Q4606103) (← links)
- Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices (Q6563357) (← links)