• GreatSPN

  • Referenced in 57 articles [sw00384]
  • evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension: Stochastic Well...
  • GreatSPN 1.7

  • Referenced in 41 articles [sw01562]
  • editor and analyzer for timed and stochastic Petri nets. This paper describes the GreatSPN ... evaluation of distributed systems using Generalized Stochastic Petri Nets and their colored extension. The tool...
  • PROD

  • Referenced in 10 articles [sw03154]
  • GreatSPN tool for Generalized stochastic Petri nets (GSPN) and Stochastic well-formed nets (SWN) solution...
  • MARCIE

  • Referenced in 8 articles [sw12882]
  • tool for the analysis of generalized stochastic Petri nets which can be augmented by rewards...
  • COSMOS

  • Referenced in 5 articles [sw13329]
  • described in terms of a Generalized Stochastic Petri Net), an LHA and an expression...
  • SPNica

  • Referenced in 3 articles [sw14799]
  • Markov regenerative stochastic Petri nets with general execution policies: Supplementary variable analysis and a prototype ... tool. Stochastic Petri Nets (SPNs) with general firing time distributions are considered. Generally timed transitions...
  • TimeNET

  • Referenced in 29 articles [sw00965]
  • modeling and evaluation of stochastic Petri nets with non-exponentially distributed firing times. TimeNET ... based on recent research results. Both the general structure and the underlying algorithms of TimeNET...
  • pntool

  • Referenced in 2 articles [sw21085]
  • types of Petri nets (untimed, transition-timed, place-timed, stochastic and generalized stochastic), with finite ... instruments to explore the dynamics of Petri net models, as well as animation facilities...
  • WebSPN

  • Referenced in 2 articles [sw14798]
  • anaysis of non-Markovian Stochastic Petri Nets (SPN). This tool, called Web-SPN, provides ... discrete time approximation of the stochastic behavior of the marking process which results ... with prd, prs and pri concurrently enabled generally distributed transitions. An example is used...
  • Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2974 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • MARCA

  • Referenced in 31 articles [sw00547]
  • MARCA: Markov chain analyzer, a software package for...
  • Mathematica

  • Referenced in 6090 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12640 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 547 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 8836 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1743 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SUNDIALS

  • Referenced in 220 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • SIMSCRIPT

  • Referenced in 30 articles [sw01081]
  • SIMSCRIPT. A simulation programming language. SIMSCRIPT is a...
  • Meschach

  • Referenced in 79 articles [sw01112]
  • Meschach: Matrix computations in C. Meschach is a...