A new class of Petri nets for modeling and control of ratio-enforced resource allocation systems | IEEE Conference Publication | IEEE Xplore