selected publications conference paper Service-oriented SCADA and MES supporting Petri nets based orchestrated automation systems. 6144-6150. 2012