MarkovProcesses.jl

A package for simulation, verification and parameter estimation of Chemical Reaction Networks.

Package features

• A core of simulation for Continuous-Time Markov Chains (CTMC) defined by Chemical Reaction Networks (CRN),
• A simple interface for Biochemical Networks / Stochastic Petri Nets,
• Synchronized simulation with Linear Hybrid Automata,
• Approximate Bayesian Computation, a likelihood-free inference method,
• Automaton-ABC: a statistical method for verification of parametric CTMCs.