Modeling, simulation and analysis of batch production systems

被引：10
作者：
Champagnat, R
Valette, R
Hochon, JC
Pingaud, H
机构：
[1] Univ La Rochelle, F-17042 La Rochelle 1, France
[2] CNRS, LAAS, F-31077 Toulouse 4, France
[3] IXI, F-31000 Toulouse, France
[4] ENSTIMAC, F-81013 Albi 09, France
来源：
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 2001年 / 11卷 / 1-2期
关键词：
Petri nets; hybrid modeling; simulation;
D O I：
10.1023/A:1008391200673
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
After a survey of some approaches for modeling hybrid systems by means of Petri nets ( t-time Petri nets, colored Petri nets, hybrid Petri nets and differential predicate transition nets), this paper illustrates how these formal models can be used for simulation and validation. It is shown how it was possible to use aggregated qualitative models concurrently with detailed ones.
引用
收藏
页码：119 / 136
页数：18
相关论文
共 33 条
[1]  
ALLA H, 1998, P ADPM 98 REIMS FRAN, P138
[2]   THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS [J].
ALUR, R ;
COURCOUBETIS, C ;
HALBWACHS, N ;
HENZINGER, TA ;
HO, PH ;
NICOLLIN, X ;
OLIVERO, A ;
SIFAKIS, J ;
YOVINE, S .
THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :3-34
[3]  
ANDREU D, 1994, 1994 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS - HUMANS, INFORMATION AND TECHNOLOGY, VOLS 1-3, P314, DOI 10.1109/ICSMC.1994.399857
[4]  
[Anonymous], P ADPM 98 REIMS FRAN
[5]  
BOUTET F, 1997, 1 C FRANC MOD SIM SY
[6]  
Chambers TC, 1998, NEW ZEAL J BOT, V36, P1
[7]  
Champagnat R., 1998, APII-JESA Journal Europeen des Systemes Automatises, V32, P1233
[8]  
Champagnat R., 1997, P CIS 97, V1, P469
[9]  
CHAMPAGNAT R, 1998, THESIS U P SABATIER
[10]  
DAUBAS B, 1994, INT C IEEE SMC SAN A, P320
1234