An Excutable Model for Student Registration System using Timed coloured Petrinets | IEEE Conference Publication | IEEE Xplore