Pages that link to "Item:Q2293269"
From MaRDI portal
The following pages link to Computation of strict minimal siphons in a class of Petri nets based on problem decomposition (Q2293269):
Displaying 4 items.
- On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity (Q272014) (← links)
- An algorithm to compute the minimal siphons in \(S^4 PR\) nets (Q351730) (← links)
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
- Sequential composition of linear systems' clans (Q2279738) (← links)