Abstract
The authors present transformation methods for generalized Petri nets by introducing and using the concept of a live and bounded circuit (LB-circuit), based on fusing common paths. An LB-circuit is a generalized version of a simple elementary circuit. The authors briefly review generalized Petri nets, including their formal definitions and properties, and define an arc ratio, a remainder, and an LB-circuit. A partially overlapping relation is introduced. Using these concepts, four lemmas and three theorems which are the theoretical background for the transformation methods are presented. Reduction methods are described with examples. Synthesis methods are illustrated for a simple automated manufacturing system, a machining/assembly process with three robots and two workstations. >
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: IEEE Transactions on Systems, Man, and Cybernetics
Disclaimer: 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.