Service-oriented SCADA and MES supporting Petri nets based orchestrated automation systems | IEEE Conference Publication | IEEE Xplore