Keyword: generalized stochastic petri nets

• Kochanícková, Monika:
  Using method of CTMC factorization for GSPN models solving. 2004.

• López, Grao J. P.; Merseguer, J.; Campos, J.:
  From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. 2004.

• Balbo, G.; Bruell, S.; Sereno, M.:
  Product Form Solution for Generalized Stochastic Petri Nets. 2002.

• Hosseini, M.M.; Kerr, R.M.; Randall, R.B.:
  An Inspection Model with Minimal and Major Maintenance for a System with Deterioration and Poisson Failure. 2000.

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

• Tilgner, Marco; Takahashi, Yukio; Ciardo, Gianfranco:
  SNS: Synchronized Network Solver. 1996.

• Ciardo, G.; German, R.; Lindemann, C.:
  A Characterization of the Stochastic Process Underlying a Stochastic Petri Net. 1994.

• Kanoun, K.; Kaaniche, M.; Beounes, C.; Laprie, J.C.; Arlat, J.:
  Reliability growth of fault-tolerant software. 1993.

Back to the Petri Nets Bibliography