A modular and incremental approach for building complex stochastic Petri net models.

For the most recent entries see the Petri Nets Newsletter.

A modular and incremental approach for building complex stochastic Petri net models.

Fota, Nicolae; Kaaniche, Mohamed; Kanoun, Karama

In: st International Conference on Mathematical Methods in Reliability (MMR'97), Bucharest (Roumania), pages 151-158. September 1997.

Abstract: This paper presents a modeling approach based on Generalized Stochastic Petri Nets (GSPN) aimed at the dependability (reliability, availability and safety) evaluation of large hardware and software fault-tolerant systems. The model is built and validated in an incremental manner, according to a set of construction guidelines and rules, aimed to obtain models which are structurally valid, readable, compact and flexible.

Keywords: Generalized Stochastic Petri Nets; GSPN; dependability; modelling; Air traffic control.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography