Abstract
An algorithm is proposed to equivalently transform original linear constraints on Petri nets, where the uncontrollable subnets are forward-concurrent free nets, into admissible ones. Consequently, this algorithm can be used to design both efficient and optimal supervisors for enforcing linear constraints on Petri nets since the problem on how to enforce admissible constraints has been well solved. Further, the supervisor synthesis procedure is presented using this algorithm. Lastly, it is illustrated by an example where an optimal supervisor is designed for a flexible manufacturing system.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have