Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Continuous Petri Nets and Hybrid Automata:Two Bisimilar Models for the Simulation of Positive Systems

Abstract : Petri nets (PNs) are a well-known modelling tool for discrete event systems. Continuous PN were introduced in order to avoid the combinatory explosion of the number of states, when considering real life systems. The constant speed continuous Petri net (CCPN) can be used to model discrete events systems; in that case, they constitute an approximation, which is often satisfactory. They can also model positive continuous systems. Hybrid automata (HA) are a less compact and expressive model, but, they can be used to perform powerful analysis. In this paper, we first present deeply the continuous PN and its modelling advantages. Then we present the main contribution of this paper, that is a structural translation algorithm from a CCPN into a HA. The translation algorithm is structural in the sense that it does not depend on the initial marking of the Petri net. We prove the timed bisimilarity between both models.
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.univ-grenoble-alpes.fr/hal-01705188
Contributeur : Hassane Alla <>
Soumis le : vendredi 9 février 2018 - 10:52:22
Dernière modification le : mercredi 7 octobre 2020 - 11:36:04

Identifiants

Collections

Citation

Latéfa Ghomri, Hassane Alla. Continuous Petri Nets and Hybrid Automata:Two Bisimilar Models for the Simulation of Positive Systems . International Journal of Simulation and Process Modelling, Inderscience, 2018, Special Issue on: Advances and Applications of Process Modelling and Simulation, 13 (1), pp.24-34. ⟨10.1504/IJSPM.2018.090264⟩. ⟨hal-01705188⟩

Partager

Métriques

Consultations de la notice

307