A maximally permissive (or optimal) supervisory control of an automated manufacturing system (AMS) modeled by Petri nets (PNs) can be usually implemented by imposing constraints in the form of a set ...

While linear programming (LP) decoding provides more flexibility for finite-length performance analysis than iterative message-passing (IMP) decoding, it is computationally more complex to implement ...