Abstract
For Petri net models of flexible manufacturing systems,this work proposes a method to design liveness-enforcing supervisors based on complementary places.Firstly,a finite-capacity net珦Nis obtained from a given Petri net N by adding a capacity function K.Then,by increasing K to Kmax,the maximal reachability set of live finite-capacity net珦Nis computed and the complementary-place transformation is used to obtain the live system N′.Finally,an example of S3PR net is provided to compare with some other approaches proposed in prior work.Comparison results show that the liveness-enforcing supervisor obtained by the proposed method has simpler structure and more permissive behavior in some cases.Furthermore,another example of S3PGR2net shows that the proposed method can be applied to the general Petri nets.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
