Modeling weight round robin packet scheduler with Petri nets | IEEE Conference Publication | IEEE Xplore