A hybrid Petri net formalism and resource allocation in distributed control systems | IEEE Conference Publication | IEEE Xplore