Analysis of Pattern Formation by Colored Petri Nets With Quantitative Regulation of Gene Expression Level | IEEE Journals & Magazine | IEEE Xplore