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.
International Journal of Simulation and Process Modelling, 2018 Vol.13 No.1, pp.24 - 34
Available online: 27 Feb 2018Full-text access for editors Access for subscribers Purchase this article Comment on this article