Pattern formation analysis by colored Petri nets with quantitative manipulation of a gene.