Towards a formal analysis approach based on the use of Colored Petri Nets, Timed Colored Petri Nets and the CPN Tools
https://www.powershow.com/view1/1b0f30-ZDc1Z/Towards_a_formal_analysis_approach_based_on_the_use_of_Colored_Petri_Nets_Timed_Colored_Petri_Nets_and_the_CPN_Tools_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/