boolean network statespace analysis tool