selected publications conference paper High-level petri nets control modules for service-oriented devices: a case study. 1487-1492. 2008