MaBoSS is a software for simulating signaling and regulatory networks, which produces trajectories describing the evolution of the states' probabilities of a Boolean model.
More technically, it is a software for simulating continuous/discrete time Markov processes, applied on a Boolean network. It is implemented in C++. MaBoSS uses a specific language for associating transition rates to each node. Given some initial conditions, MaBoSS applies Monte-Carlo kinetic algorithm (or Gillespie algorithm) to the network to produce time trajectories. Time evolution of probabilities are estimated. In addition, global and semi-global characterizations of the whole system are computed."