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