For the most recent entries see the
Petri Nets Newsletter.
Kaaniche, M.
-
Fota, N.;
Kaaniche, M.;
Kanoun, K.:
Dependability evaluation of an air traffic control computing system.
1999.
-
Fota, N.;
Kaaniche, M.;
Kanoun, K.:
Incremental approach for building stochastic Petri nets for dependability modeling.
1999.
-
Fota, Nicolae;
Kaaniche, Mohamed;
Kanoun, Karama:
A modular and incremental approach for building complex stochastic Petri net models.
1997.
-
Fota, Nicolae;
Kaaniche, Mohamed;
Kanoun, Karama;
Peytavin, Alain:
Safety analysis and evaluation of an air traffic control computing system.
1996.
-
Laprie, Jean-Claude;
Kaaniche, Mohamed;
Kanoun, Karama:
Modeling Computer Systems Evolutions: Non-Stationary Processes and Stochastic Petri Nets - Application to Dependability Growth.
1995.
-
Kanoun, K.;
Kaaniche, M.;
Beounes, C.;
Laprie, J.C.;
Arlat, J.:
Reliability growth of fault-tolerant software.
1993.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography