Modelling and control of large-scale systems via hybrid Petri Nets | IEEE Conference Publication | IEEE Xplore