DSPNexpress

DSPNexpress is a software package for performance modelling of computer systems with deterministic and stochastic Petri nets (DSPNs).DSPNexpress has a user-friendly graphical interface for definition, analysis and graphical animation of DSPNs. The package has been called DSPNexpress because it solves complex DSPNs with four orders of magnitude less CPU time than other packages previously introduced.


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)