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 3 items.
- Macro liveness graph and liveness of \(\omega\)-independent unbounded nets (Q893846) (← links)
- Petri net representation and reachability analysis of 0--1 integer linear programming problems (Q2293169) (← links)
- Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices (Q6563357) (← links)
