A Petri net-based object-oriented approach for the modelling of hybrid productive systems

被引:26
作者
Villani, E [1 ]
Pascal, JC
Miyagi, PE
Valette, R
机构
[1] Inst Tecnol Aeronaut, Dept Mech Engn, BR-12228900 Sao Jose Dos Campos, SP, Brazil
[2] CNRS, Lab Anal & Architecture Syst, F-31077 Toulouse, France
[3] Univ Sao Paulo, Escola Politecn, BR-2231 Sao Paulo, Brazil
基金
巴西圣保罗研究基金会;
关键词
hybrid system; Petri net; productive systems; object-oriented paradigm; modelling;
D O I
10.1016/j.na.2005.02.123
中图分类号
O29 [应用数学];
学科分类号
070104 [应用数学];
摘要
This paper introduces a new approach for the modelling of hybrid productive systems. This approach is based on Petri net to represent the discrete part, differential equations to describe the continuous part and object-oriented paradigm to deal with the complexity problem in real systems. During the modelling process, the Unified Modelling Language (UML) is used in order to support the description of different aspects and identify different hybrid characteristics of the system. The proposed approach is illustrated using as an example the design of supervisory systems for air-conditioning systems. (c) 2005 Elsevier Ltd. All rights reserved.
引用
收藏
页码:1394 / 1418
页数:25
相关论文
共 19 条
[1]
ALLA H, 2004, DISCRETE CONTINUOUS
[2]
Discrete abstractions of hybrid systems [J].
Alur, R ;
Henzinger, TA ;
Lafferriere, G ;
Pappas, GJ .
PROCEEDINGS OF THE IEEE, 2000, 88 (07) :971-984
[3]
Petri net based modeling of hybrid systems [J].
Champagnat, R ;
Esteban, P ;
Pingaud, H ;
Valette, R .
COMPUTERS IN INDUSTRY, 1998, 36 (1-2) :139-146
[4]
DOUGLASS BP, 2004, ADV UML REAL TIME SY
[5]
GENRICH HJ, 1987, LECT NOTES COMPUT SC, V254, P207
[6]
GUEGUEN H, 2001, MODELISATION SYSTEME, P427
[7]
GUEGUEN H, 2001, J EUROPEEN SYSTEMES, P381
[8]
GUERRERO DDS, 2001, LECT NOTES COMPUTER, P338
[9]
HASEGAWA K, 1988, T SOC INSTRUM CONTRO, V34, P69
[10]
DYNAMICS OF DISCRETE EVENT SYSTEMS [J].
HO, YC .
PROCEEDINGS OF THE IEEE, 1989, 77 (01) :3-6