A Petri-net approach to hierarchical supervision for remote-controlled processes | IEEE Conference Publication | IEEE Xplore