DocumentCode
2673826
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
fYear
2008
fDate
28-30 May 2008
Firstpage
308
Lastpage
313
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/WODES.2008.4605964
Filename
4605964
Link To Document