MaBoSS (Markovian Boolean Stochastic Simulator) is a C++ software for simulating continuous/discrete time Markov processes based on Boolean networks. It relies on a specific language to define the model and transition rates, and applies the Gillespie algorithm to produce time trajectories. The evolution of probabilities over time is estimated, and global and semi-global characterizations of the whole system are computed.
The LogicalModel library provides an export filter to the MaBoSS format, and conversion of MaBoSS models to SBML qual are planned.
BMC Syst Biol 6:116