A Coloured Petri Net Model for Hybrid NFV-MEC Systems Supporting URLLC | IEEE Conference Publication | IEEE Xplore