Title :
Modelling automation systems by UML and Petri Nets
Author :
Basile, Francesco ; Chiacchio, Pasquale ; Del Grosso, Domenico
Author_Institution :
Dipt. Ing. dell´´Inf. e Ing. Electr., Univ. di Salerno, Fisciano
Abstract :
A two-stage modelling approach for distributed control of automation systems is described in this paper. At first, the drawing of several UML diagrams is proposed to semi-formally model the system to be controlled, and to describe requirements for the control system. Then, it is suggested to obtain a PN model of the plant and of the controller from UML by applying a set of domain transformation rules so that in PN domain the closed loop behavior can be more properly analyzed and refined. A real case study is used to show the effectiveness of the approach.
Keywords :
Petri nets; Unified Modeling Language; control engineering computing; distributed control; Petri nets; UML; automation systems modelling; distributed control; domain transformation rules; two-stage modelling approach; Automatic control; Automation; Availability; Control system synthesis; Object oriented modeling; Petri nets; Software systems; Software tools; Stochastic systems; Unified modeling language;
Conference_Titel :
Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on
Conference_Location :
Goteborg
Print_ISBN :
978-1-4244-2592-1
Electronic_ISBN :
978-1-4244-2593-8
DOI :
10.1109/WODES.2008.4605964
