
DSPNexpress
 Referenced in 15 articles
[sw07931]
 performance modelling of computer systems with deterministic and stochastic Petri nets (DSPNs).DSPNexpress...

smfsb
 Referenced in 6 articles
[sw12260]
 package smfsb: SMfSB 2e: Stochastic Modelling for Systems Biology, second edition. This package contains code ... data for modelling and simulation of stochastic kinetic biochemical network models. It contains the code ... second edition of the book Stochastic Modelling for Systems Biology, published by Chapman & Hall/CRC Press...

StochKit2
 Referenced in 12 articles
[sw14081]
 StochKit2: software for discrete stochastic simulation of biochemical systems with events. Summary: StochKit2...

SABRE
 Referenced in 7 articles
[sw12884]
 reaction networks. The importance of stochasticity within biological systems has been shown repeatedly during ... raised the need for efficient stochastic tools. We present SABRE, a tool for stochastic analysis ... reaction networks. Biochemical reactions networks represent biological systems studied at a molecular level and these ... time Markov chains. Besides operating in a stochastic mode, SABRE may also perform a deterministic...

STEPS
 Referenced in 18 articles
[sw17866]
 STEPS: Modeling and Simulating Complex ReactionDiffusion Systems with Python. We describe ... platform for modeling and stochastic simulation of coupled reactiondiffusion systems with complex 3dimensional...

SROCK
 Referenced in 42 articles
[sw11792]
 standard explicit methods proposed so far for stochastic problems and give significant speed improvement ... ROCK methods allows one to handle large systems without linear algebra problems usually encountered with...

ProbReach
 Referenced in 3 articles
[sw20157]
 ProbReach: verified probabilistic deltareachability for stochastic hybrid systems. We present ProbReach, a tool ... verifying probabilistic reachability for stochastic hybrid systems, i.e., computing the probability that the system reaches ... reachability that is suited for hybrid systems whose stochastic behaviour is given in terms ... several benchmarks involving highly nonlinear hybrid systems...

AMYTISS
 Referenced in 2 articles
[sw36936]
 automated controller synthesis for largescale stochastic systems. In this paper, we propose a software ... controllers for largescale discretetime stochastic systems. This tool is employed to (i) build ... HWAs). Unlike all existing tools for stochastic systems, AMYTISS can utilize highperformance computing ... always present in analyzing largescale stochastic systems. We benchmark AMYTISS against the most recent...

StochSens
 Referenced in 3 articles
[sw13067]
 package, that implements sensitivity analysis for stochastic chemical systems using the concept of the Fisher ... Information Matrix for the stochastic systems without the need for Monte Carlo simulations...

OPTCON
 Referenced in 14 articles
[sw02660]
 presence of a stochastic parameter vector in the system equations. The first step consists...

iNA
 Referenced in 4 articles
[sw17973]
 exploration of stochastic biochemical kinetics using the system size expansion. The accepted stochastic descriptions ... Chemical Master Equation and the Stochastic Simulation Algorithm, which are equivalent. The latter ... analysis of stochastic biochemical kinetics by means of van Kampen’s system size expansion ... using the computer algebra system Ginac with traditional methods of stochastic simulation. iNA integrates...

probblackreach
 Referenced in 2 articles
[sw34625]
 systems to be fully deterministic. For stochastic systems, statistical techniques are available. However, they cannot ... blackbox checking technique for stochastic systems that allows both, nondeterministic and probabilistic behaviour...

PRISMPSY
 Referenced in 3 articles
[sw33601]
 Precise GPUAccelerated Parameter Synthesis for Stochastic Systems. In this paper we present PRISM...

SMART_
 Referenced in 33 articles
[sw04097]
 Logical and stochastic modeling with smart. We describe the main features of Smart, a software ... logic and probabilistic analysis of complex systems. Smart can combine different formalisms in the same ... algorithms, are available. For the study of stochastic and timing behavior, both sparsestorage...

BioPEPAd
 Referenced in 5 articles
[sw10690]
 system resulting in more compact models. In this paper, we enrich the stochastic process algebra ... presented in papers on the stochastic simulation of biological systems with delays. This semantics ... PEPAd systems in generalized semiMarkov processes (GSMPs), as input for a delay stochastic simulation ... deterministic framework for modeling of biological systems with delays. Finally, we prove theorems stating...

SpiCO
 Referenced in 10 articles
[sw10691]
 stochastic pi calculus for concurrent objects. We present SpiCO, a new modeling ... simulation language for systems biology. SpiCO is based on the stochastic $pi $ calculus. It supports...

STaLiRo
 Referenced in 22 articles
[sw09775]
 system. At the heart of the tool, we use randomized testing based on stochastic optimization...

FLUVSIM
 Referenced in 9 articles
[sw40401]
 program for objectbased stochastic modeling of fluvial depositional systems. This paper presents a FORTRAN...

HSIM
 Referenced in 2 articles
[sw18272]
 HSIM: A hybrid stochastic simulation system for systems biology. This paper describes a method ... best of two well known simulation approaches: Stochastic simulation of chemical ... reactions and Entitycentered (multiagents) systems. The stochastic simulation algorithm and its enhanced versions...

Dsamala
 Referenced in 2 articles
[sw15240]
 analysing and simulating discrete, continuous, stochastic dynamic systems. This article describes DSamala toolbox, a computational ... simulating and analysing discrete, continuous, stochastic dynamic systems; It is presented as a MATLAB toolbox...