Abstract
This paper presents an Object-oriented Petri Net (OPN) approach to model and analyse the dynamic behaviours of an Automated Manufacturing System (AMS). Both the basic and the complete OPN models are introduced to represent the generic and specific dynamic behaviours of an AMS, respectively. Based on the basic OPN model, we need to construct the Object Communication Net (OCNet) for each physical object, and then employ the theory of invariants to perform the deadlock analysis. For an analysed non-deadlock basic OPN model, the complete OPN model for a specific AMS may be effectively derived from it by only including those related system constraints (e.g. part routing, resource capacity), since the basic OPN class library is reusable. A conflict analysis approach is then introduced to identify all the conflicting events involved in the complete OPN model, so that the most suitable control/decision strategy for resolving each conflict event may be suggested. Consequently, a rule-based control software may be implemented directly from the specification of the validated complete OPN model by following a number of transformation rules.
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.
