A tool for modelling biological systems through boolean networks. Can represent and execute biological models.