has characteristic stochastic system behaviour Monte Carlo method logical model simulation method random updating policy probabilistic logical model simulation method 2020-10-29 http://identifiers.org/biosimulators/boolnet http://identifiers.org/doi/10.1093/bioinformatics/btq124 JRK Qualitative (logical) models specify the evolution rules of their components. Probabilistic networks allow for specifying more than one transition function per variable/gene. Each of these functions has a probability to be chosen, where the probabilities of all functions for one variable sum up to 1. Transitions are performed synchronously by choosing one transition function for each gene according to their probabilities and applying them to the current state.