Abstract
In this paper. Conserved nets which are a subclass of Petri nets is proposed to fa cilitate the modeling, analysis, and simulation of FMSs. Conserved nets ensure that a Petri net model has the conservativeness property. From the structural characteristics of Conserved nets, liveness conditions are easily obtained. While hardware compo nents of FMSs are modeled by using Conserved nets, high-level, real-time control systems in FMSs are separately modeled using the analysis results of the Conserved Petri net model. For the simulation of FMSs, a Petri net model and a high-level control system are integrated so that the high-level control system is responsible to resolve conflicts in the Petri net model. The modeling and simulation procedure is demonstrated with an example machine center.
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.
