Design of Distributed Manufacturing Systems Using Uml and Petri Nets
نویسندگان
چکیده
This paper describes the design of a supervisory control system for a distributed manufacturing process, which forms part of a wider manufacturing system. The focus of the paper is on the design of a verifiable discrete event controller using a UML based method. The approach adopted involves (i) using Petri net models instead of conventional Statecharts to provide analytic Dynamic Models; and (ii) using compositional Petri net techniques to synthesise the Interconnection Model. The model of the complete controller can be then analysed and verified using Petri net theory. The approach is demonstrated by application to a prototype packaging machine. Copyright 2000 IFAC
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملAn Automated Modelling and Verification of Distributed Manufacturing Process
The design of a supervisory controller for distributed manufacturing process, demands modular modelling and formal analysis. The objective of this paper is to present an automated design based on UML (Unified Modelling Language) modelling and Petri nets verification. First UML use cases and class diagrams are used to model the manufacturing process. Then a transformation into their equivalent P...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کامل