Essentially decision free Petri nets for real-time resource allocation | IEEE Conference Publication | IEEE Xplore