Title: Continuous Petri nets and hybrid automata: two bisimilar models for the simulation of positive systems

Authors: Latéfa Ghomri; Hassane Alla

Addresses: MELT (Manufacturing Engineering Laboratory of Tlemcen), PB 213 Faculty of technology; University of Tlemcen, Algeria ' GIPSA-LAB (Grenoble, Image, Parole, Signal, Automatique), University of Grenoble, 11 rue des Mathématiques, Saint Martin d'Heres, France

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.

Keywords: discrete event systems modelling; constant speed continuous Petri nets; CCPN; hybrid automata; bisimulation.

DOI: 10.1504/IJSPM.2018.090264

International Journal of Simulation and Process Modelling, 2018 Vol.13 No.1, pp.24 - 34

Received: 23 Jun 2016
Accepted: 16 Jan 2017
Published online: 07 Mar 2018 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article