Abstract
There is a growing need to use advanced and formal methodologies for design and synthesis of supervisory controllers for flexible manufacturing systems. This paper presents an algorithm to generate automatically the Petri net (PN) models from logic control specifications. Traditional methods such as ladder logic diagrams and high-level programming languages proved inefficient to develop control software and very difficult to debug and maintain. PNs were demonstrated as an effective tool for logic controller design by several researchers and industrial practitioners. One critical task in this development is to design Petri net models given the sequence control specifications. This paper presents a PN design algorithm which mainly consists in: (1) dividing the sequence of events into groups, (2) building the PN model via top-down refinement, and (3) merging the common places/paths within the model. >
Sign-in/Register to access full text options 
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.
