For the most recent entries see the
Petri Nets Newsletter.
Modeling the dependability of CAUTRA, a subset of the French Air Traffic Control Systems.
Kanoun, K.;
Borrel, M.;
Moreteveille, T.;
Peytavin, A.
In:
IEEE Trans. Computers, vol. 48, no. 5, pages 528-535.
1999.
Keywords:
Dependability modeling; GSPN (generalized stochastic Petri net); Markov
chains; model composition.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography