selected publications conference paper Petri net-based approach for web service automation resource coordination. 410-419. 2007