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