Petri net extension for traffic road modelling | IEEE Conference Publication | IEEE Xplore