Modeling, simulation and analysis of batch production systems
Résumé
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.