Figure 8From: Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extensionThe panel of Genotype Configuration and the automatic-switching mechanisms to determine the values of threshold_1 / threshold_2 , interval , and lin12_init according to the different genetic conditions.Back to article page