Figure 1From: Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension (a) Procedure overview of the Methods section . (b) Schematic view of three simulation targets. Back to article page