• GreatSPN

  • Referenced in 57 articles [sw00384]
  • GreatSPN2.0 is a software package for the modeling...
  • Mathematica

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

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

  • Referenced in 29 articles [sw00965]
  • This paper describes TimeNET (Timed Net Evaluation Tool...
  • PRISM

  • Referenced in 423 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • JumpStart

  • Referenced in 10 articles [sw01797]
  • JumpStart: A just-in-Time signaling architecture for...
  • SHARPE

  • Referenced in 42 articles [sw03100]
  • SHARPE, (Symbolic Hierarchical Automated Reliability and Performance Evaluator...
  • JDQR

  • Referenced in 490 articles [sw04021]
  • From this page you can get a Matlab...
  • NOMADm

  • Referenced in 14 articles [sw04338]
  • NOMADm is a MATLAB implementation of the class...
  • Mosel

  • Referenced in 36 articles [sw04911]
  • Xpress-Mosel. Multi-solver, multi-problem, multi-model...
  • MCQueue

  • Referenced in 140 articles [sw05198]
  • MCQueue: educational software for Markov Chains and Queues...
  • LDQBD

  • Referenced in 9 articles [sw06977]
  • Computing moments of first passage times to a...
  • JDQZ

  • Referenced in 580 articles [sw07031]
  • Matlab® implementation of the JDQZ algorithm. The JDQZ...
  • SPNP

  • Referenced in 48 articles [sw07933]
  • SPNP: Stochastic Petri Nets. The Stochastic Petri Net...
  • EMpht

  • Referenced in 76 articles [sw08387]
  • EMpht is a program for fitting phase-type...
  • ANFIS

  • Referenced in 269 articles [sw08730]
  • ANFIS: adaptive-network-based fuzzy inference system. The...
  • UMDES

  • Referenced in 363 articles [sw09523]
  • UMDES Software Library: UMDES-LIB is a library...
  • getRDS

  • Referenced in 3 articles [sw12595]
  • A general purpose module using refined descriptive sampling...
  • BRENT

  • Referenced in 426 articles [sw14021]
  • BRENT Algorithms for Minimization Without Derivatives. BRENT is...