A hybrid Petri net formalism and resource allocation in distributed control systems. - Naim Bajçinca; Elham Almodaresi; Minfeng Ruan (Allerton, 2015)