References in zbMATH (referenced in 15 articles , 1 standard article )

Showing results 1 to 15 of 15.
Sorted by year (citations)

  1. Amparore, E. G.; Donatelli, S.: Revisiting the matrix-free solution of Markov regenerative processes. (2011)
  2. Labadi, Karim: A new stochastic Petri net model and its applications to logistics systems (2008)
  3. Blume, H.; von Sydow, T.; Noll, T. G.: A case study for the application of deterministic and stochastic Petri nets in the SoC communication domain (2006)
  4. Bobbio, Andrea; Telek, Miklós: Specifications and solution techniques for non-Markovian stochastic Petri nets (2001)
  5. Zimmermann, Armin; Freiheit, Jörn; German, Reinhard; Hommel, Günter: Petri net modelling and performability evaluation with TimeNET 3. 0 (2000)
  6. Lindemann, Christoph: Performance modelling with deterministic and stochastic Petri nets. With CD-ROM (1998)
  7. Lindemann, Christoph: Performance modelling with deterministic and stochastic Petri nets. (1998) ioport
  8. Reid, D. J.: Constructing Petri net models using genetic search (1998)
  9. Chiola, G.; Franceschinis, G.; Gaeta, R.; Ribaudo, M.: GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets (1995)
  10. German, Reinhard; Kelling, Christian; Zimmermann, Armin; Hommel, Günter: TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets (1995)
  11. Lindemann, Christoph: Exploiting isomorphisms and special structures in the analysis of Markov regenerative stochastic Petri nets (1995)
  12. Zijal, Robert: Discrete time deterministic and stochastic Petri nets (1995)
  13. Haverkort, Boudewijn R.; Trivedi, Kishor S.: Specification techniques for Markov reward models (1993)
  14. Lindemann, Christoph: An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models (1993)
  15. Lindemann, Christoph; German, Reinhard: Modeling discrete event systems with state-dependent deterministic service times (1993)