Modeling and Analysis of Classroom Teaching Evaluation Platform Based on Colored Petri Nets | IEEE Conference Publication | IEEE Xplore