References in zbMATH (referenced in 16 articles )

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

  1. Ikhlef, Lyes; Lekadir, Ouiza; Aïssani, Djamil: MRSPN analysis of semi-Markovian finite source retrial queues (2016)
  2. Longo, Francesco; Scarpa, Marco: Two-layer symbolic representation for stochastic models with phase-type distributed events (2015)
  3. Sbeity, I.; Brenner, L.; Plateau, B.; Stewart, W.J.: Phase-type distributions in stochastic automata networks (2008)
  4. Bernadsky, Mikhail; Alur, Rajeev: Symbolic analysis for GSMP models with one stateful clock (2007)
  5. Reijers, Hajo A.: Design and control of workflow processes. Business process management for the service industry. (2003)
  6. Bobbio, Andrea; Telek, Miklós: Specifications and solution techniques for non-Markovian stochastic Petri nets (2001)
  7. German, Reinhard: Markov regenerative stochastic Petri nets with general execution policies: Supplementary variable analysis and a prototype tool (2000)
  8. Horváth, András; Puliafito, Antonio; Scarpa, Marco; Telek, Miklós: Analysis and evaluation of non-Markovian stochastic Petri nets (2000)
  9. Horváth, Andras; Puliafito, Antonio; Scarpa, Marco; Telek, Miklós; Tomarchio, Orazio: Design and implementation of a WEB-based non-Markovian stochastic Petri net tool (1998)
  10. German, Reinhard; Kelling, Christian; Zimmermann, Armin; Hommel, Günter: TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets (1995)
  11. Baccelli, F.; Balbo, G.; Boucherie, R.; Campos, J.; Chiola, G.: Annotated bibliography on stochastic Petri nets (1994)
  12. Archetti, F.; Gaivoronski, A.; Sciomachen, A.: Sensitivity analysis and optimization of stochastic Petri nets (1993)
  13. Ciardo, Gianfranco; Blakemore, Alex; Chimento, Philip E.jun.; Muppala, Jogesh K.; Trivedi, Kishor S.: Automated generation and analysis of Markov reward models using stochastic reward nets (1993)
  14. Haverkort, Boudewijn R.; Trivedi, Kishor S.: Specification techniques for Markov reward models (1993)
  15. Malhotra, Manish; Reibman, Andrew: Selecting and implementing phase approximations for semi-Markov models (1993)
  16. Archetti, Francesco; Sciomachen, Anna: Representation, analysis and simulation of manufacturing systems by Petri net based models (1988)