From Petri NETS to Colored Petri NETS: A Tutorial Introduction to NETS Based Formalism For Modeling And Simulation | IEEE Conference Publication | IEEE Xplore