"On-the-fly" solution techniques for stochastic petri nets and extensions

Daniel D. Deavours, William H. Sanders

Research output: Contribution to journalArticlepeer-review


High-level modeling representations, such as stochastic Petri nets, frequently generate very large state spaces and corresponding state-transition-rate matrices. In this paper, we propose a new steady-state solution approach that avoids explicit storing of the matrix in memory. This method does not impose any structural restrictions on the model, uses Gauss-Seidel and variants as the numerical solver, and uses less memory than current state-of-the-art solvers. An implementation of these ideas shows that one can realistically solve very large, general models in relatively little memory.

Original languageEnglish (US)
Pages (from-to)889-902
Number of pages14
JournalIEEE Transactions on Software Engineering
Issue number10
StatePublished - 1998
Externally publishedYes


  • Markov models
  • Matrix-free methods
  • Stochastic petri nets

ASJC Scopus subject areas

  • Software


Dive into the research topics of '"On-the-fly" solution techniques for stochastic petri nets and extensions'. Together they form a unique fingerprint.

Cite this