Verification of Railway Interlocking Tables using Coloured Petri Nets
https://www.powershow.com/view/1c649d-ZWFiN/Verification_of_Railway_Interlocking_Tables_using_Coloured_Petri_Nets_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
