: A major challenge for Service–oriented Computing is how to discover and compose (Web) services to build complex applications. We present a matchmaking system that exploits both semantics and behavioural information to discover service compositions capable of satisfying a client request. KEY WORDS: Web service discovery, Web service composition, Petri nets, OWL–S ontologies