Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed which makes it particulary difficult for business partners to coordinate their supply chains and customer relationship management with business units. By using formal description languages such as Petri nets for modeling inter-organizational business processes, purely syntactic composition problems of distributed business environments can be solved. However, the missing semantic representation of Petri nets can hamper the interconnectivity of business processes. Usually, several business partners, even if they share similar demands, have their own specific vocabularies. By representing business processes with Petri nets in combination with the Web Ontology Language (OWL) our approach provides flexibility, ease of integration and a significant level of automation of loosely coupled business processes even if they ...