Formal aspects for semantic service modeling Based on high-level petri nets Köhler, Michael Ortmann, Jan 2005 - ReposIt