Modeling and analysis of DNA mutation type based on colored Petri net | IEEE Conference Publication | IEEE Xplore