
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: Modelbased software performance engineering Stochastic Petri nets (SPNs) have been proved useful...

pntool
 Referenced in 2 articles
[sw21085]
 five types of Petri nets (untimed, transitiontimed, placetimed, 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...

CytoSim
 Referenced in 5 articles
[sw35368]
 processes. Results: We present CytoSim, a stochastic simulator of membraneenclosed 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 highlevel language and interactive...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

NetworkX
 Referenced in 168 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

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

SageMath
 Referenced in 2033 articles
[sw00825]
 Sage (SageMath) is free, opensource 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...