Pattern formation analysis by colored Petri nets with quantitative manipulation of a gene | IEEE Conference Publication | IEEE Xplore