A novel continuous model to approximate time Petri nets: modelling and analysis
International Journal of Applied Mathematics and Computer Science, Tome 15 (2005) no. 1, p. 141.

Voir la notice de l'article dans European Digital Mathematics Library

In order to approximate discrete-event systems in which there exist considerable states and events, David and Alla define a continuous Petri net (CPN). So far, CPNs have been a useful tool not only for approximating discrete-event systems but also for modelling continuous processes. Due to different ways of calculating instantaneous firing speeds of transitions, various continuous Petri net models, such as the CCPN (constant speed CPN), VCPN (variable speed CPN) and the ACPN (asymptotic CPN), have been proposed, where the continuous flow is specified uniquely by maximal firing speeds. However, in applications such as chemical processes there exist situations where the continuous flow must be above some minimal speed or in the range of minimal and maximal speeds. In this paper, from the point of view of approximating a time Petri net, the CPN is augmented with maximal and minimal firing speeds, and a novel continuous model, i.e., the Interval speed CPN (ICPN) is defined. The enabling and firing semantics of transitions of the ICPN are discussed, and the facilitating of continuous transitions is classified into three levels: 0-level, 1-level and 2-level. Some policies to resolve the conflicts and algorithms to undertake the behavioural analysis for the ICPN are developed. In addition, a chemical process example is presented. sm
Classification : 93A30, 68Q85, 93C65
Mots-clés : discrete event systems, continuous Petri nets, hybrid systems 
@article{IJAMCS_2005__15_1_207722,
     author = {Tianlong Gu and Rongsheng Dong},
     title = {A novel continuous model to approximate time {Petri} nets: modelling and analysis},
     journal = {International Journal of Applied Mathematics and Computer Science},
     pages = {141},
     publisher = {mathdoc},
     volume = {15},
     number = {1},
     year = {2005},
     zbl = {1086.93041},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/IJAMCS_2005__15_1_207722/}
}
TY  - JOUR
AU  - Tianlong Gu
AU  - Rongsheng Dong
TI  - A novel continuous model to approximate time Petri nets: modelling and analysis
JO  - International Journal of Applied Mathematics and Computer Science
PY  - 2005
SP  - 141
VL  - 15
IS  - 1
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/IJAMCS_2005__15_1_207722/
LA  - en
ID  - IJAMCS_2005__15_1_207722
ER  - 
%0 Journal Article
%A Tianlong Gu
%A Rongsheng Dong
%T A novel continuous model to approximate time Petri nets: modelling and analysis
%J International Journal of Applied Mathematics and Computer Science
%D 2005
%P 141
%V 15
%N 1
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/IJAMCS_2005__15_1_207722/
%G en
%F IJAMCS_2005__15_1_207722
Tianlong Gu; Rongsheng Dong. A novel continuous model to approximate time Petri nets: modelling and analysis. International Journal of Applied Mathematics and Computer Science, Tome 15 (2005) no. 1, p. 141. https://geodesic-test.mathdoc.fr/item/IJAMCS_2005__15_1_207722/