Modeling, simulation and analysis of batch production systems

R Champagnat (1) , Robert Valette (2) , Jc Hochon (3) , Hervé Pingaud (4)

1 L3I - Laboratoire Informatique, Image et Interaction - EA 2118
2 LAAS - Laboratoire d'analyse et d'architecture des systèmes
3 IXI
4 CGI - Centre Génie Industriel

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.

Mots clés: Petri nets; hybrid modeling; simulation

Domaines: Sciences de l'ingénieur [physics]

R Champagnat, Robert Valette, Jc Hochon, Hervé Pingaud. Modeling, simulation and analysis of batch production systems. Discrete Event Dynamic Systems, 2001, 11 (1-2), pp.119-136. ⟨10.1023/A:1008391200673⟩. ⟨hal-01703130⟩