Service-oriented process control using High-Level Petri Nets | IEEE Conference Publication | IEEE Xplore