Control synthesis of Petri nets based on \(S\)-decreases
The problem of control synthesis for Petri nets with uncontrollable transitions is solved on the basis of the concept of minimal support \(S\)-decreases. The controller is an extended Petri net that admits a net-based implementation. A comparision with known methods shows that the suggested one results in better solutions.
scientific article; zbMATH DE number 1508112