Continuous Petri nets and hybrid automata: two bisimilar models for the simulation of positive systems Online publication date: Wed, 07-Mar-2018
by Latéfa Ghomri; Hassane Alla
International Journal of Simulation and Process Modelling (IJSPM), Vol. 13, No. 1, 2018
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.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Simulation and Process Modelling (IJSPM):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com
Our Blog 
Follow us on Twitter 
Visit us on Facebook