All logical regulatory functions are applied simultaneously to update the corresponding network components. This means that there is exactly one possible successor for each node of the STG.
R package for the simulation, reconstruction and analysis of various types of Boolean networksThe Cell Collective
Web-based plateform for the construction and simulation of Boolean modelsGINsim
Java software for the construction and analysis of multivalued modelsSQUAD & BoolSim
Standardized continous simulation of logical models