Keyword: dependability

• 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.

• Mazzocca, N.; Russo, S.; Vittorini, V.:
  Formal methods integration for the specification of dependable distributed systems. 1997.

• Palazzo, S.; Puliafito, A.; Scarpa, M.:
  Reliability Analysis of a Redundant Database for UMTS Systems. 1997.

• Heiner, M.; Ventre, G.; Wikarski, D.:
  A Petri Net Based Methodology to Integrate Qualitative and Quantitative Analysis. 1994.

• Heiner, Monika; Wikarski, D.:
  An Approach to Petri Net Based Integration of Qualitative and Quantitative Analysis of Parallel Systems. 1994.

Back to the Petri Nets Bibliography