On the Petrinet modelling of medium access protocols | IEEE Conference Publication | IEEE Xplore