• smfsbSBML

  • Referenced in 1 article [sw27069]
  • parsing SBML models into simulatable stochastic Petri net models. It is optional and separate from...
  • ArgoSPE

  • Referenced in 1 article [sw02016]
  • ArgoSPE: Model-based software performance engineering Stochastic Petri nets (SPNs) have been proved useful...
  • pntool

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

  • Referenced in 4 articles [sw00422]
  • simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab ... defined in Matlab, such as optimization routines, stochastic functions, matrices and arrays, etc. The tool...
  • BioSimulator.jl

  • Referenced in 2 articles [sw28296]
  • software package implements a suite of stochastic simulation algorithms based on Markov chain theory ... provide the ability to (a) diagram Petri Nets describing interactions, (b) plot average trajectories ... nature of BioSimulator.jl encourages the use of stochastic simulation, minimizes tedious programming efforts, and reduces...
  • Cyto-Sim

  • Referenced in 5 articles [sw35368]
  • processes. Results: We present Cyto-Sim, a stochastic simulator of membrane-enclosed hierarchies of biochemical ... currently supports models described as Petri nets, can import all versions of SBML...
  • Coq

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

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

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

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

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

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

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

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

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

  • Referenced in 37 articles [sw01022]
  • This paper presents Web Service Analysis Tool (WSAT...
  • SIMSCRIPT

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

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

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