Inspec keywords: computational complexity; flexible manufacturing systems; Petri nets; optimal control; controllability; polynomials

Other keywords: S3PR; polynomial complexity; 3-composed siphons; maximally permissive liveness-enforcing supervisor; Petri nets; optimal controllability; flexible manufacturing systems

Subjects: Combinatorial mathematics; Algebra; Control applications in manufacturing processes; Manufacturing systems; Control system analysis and synthesis methods; Algebra; Control technology and theory; Combinatorial mathematics; Computational complexity; Optimal control