Boolean network, control, reprogramming,
attractor, perturbation, partial specification, phenotype