Keyword: markov chains

• Bell, Alexander; Haverkort, Boudewijn R.:
  Distributed disk-based algorithms for model checking very large Markov chains. 2006.

• Ciardo, G.; Miner, A.S.:
  Structural approaches for SPN analysis. 2000.

• Ciardo, Gianfranco:
  Tools for formulating Markov models. 1999.

• Fota, N.; Kaaniche, M.; Kanoun, K.:
  Dependability evaluation of an air traffic control computing system. 1999.

• Haverkort, B.R.; Bell, A.; Bohnenkamp, H.C.:
  On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. 1999.

• Kanoun, K.; Borrel, M.; Moreteveille, T.; Peytavin, A.:
  Modeling the dependability of CAUTRA, a subset of the French Air Traffic Control Systems. 1999.

• Kanoun, K.; Borrel, M.; Morteveille, T.; Peytavin, A.:
  Availability of CAUTRA, a subset of the French Air Traffic Control system. 1999.

• Lindemann, C.; Thummler, A.:
  Transient analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions. 1999.

• Ramesh, A.V.; Twigg, D.W.; Sandadi, U.R.; Sharma, T.C.; Trivedi, K.S.; Somani, A.K.:
  An integrated reliability modeling environment. 1999.

• Ajmone Marsan, M.; Bobbio, A.; Donatelli, S.:
  Petri Nets in Performance Analysis: An Introduction. 1998.

• Buchholz, P.; Kemper, P.:
  On generating a hierarchy for GSPN analysis. 1998.

• Donatelli, S.; Haddad, S.; Moreaux, P.:
  Structured characterization of the Markov chain of phase-type SPN. 1998.

• Franceschinis, G.; Ribaudo, M.:
  Efficient Performance Analysis Techniques for Stochastic Well-formed Nets and Stochastic Process Algebras. 1998.

• Haddad, S.; Moreaux, P.; Chiola, G.:
  Cox and phase-type distributions in stochastic Petri nets -- efficient derivation of solutions. 1998.

• Koriem, S.M.:
  Fast and simple decomposition techniques for the reliability analysis of interconnection networks. 1998.

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

• De Araujo, S.L.; Bouhchouch, A.; Di Mascolo, M.; Frein, Y.:
  On the analysis of a stochastic Petri net modeling a resource sharing situation. 1993.

• Zuberek, W.M.:
  Modified M-timed Petri nets in modelling and performance evaluation of systems. 1987.

Back to the Petri Nets Bibliography