Modeling and Analysis of Protein Synthesis and DNA Mutation Using Colored Petri Nets | IEEE Journals & Magazine | IEEE Xplore