Analysis of hierarchical control architectures: a Petri net approach | IEEE Conference Publication | IEEE Xplore