1. Woflan: A Petri-net-based workflow analyzer;van der Aalst;Systems Analysis, Modelling, Simulation,1999
2. A. Ankolekar, F. Huch, K. Sycara, Concurrent execution semantics for DAML-S with subtypes, in: The First International Semantic Web Conference (ISWC), Sardinia (Italy), June 2002
3. A. Arkin, Business Process Modeling Language. Available from
4. A. Arkin, S. Askary, S. Fordin, W. Jekeli, K. Kawaguchi, D. Orchard, S. Pogliani, K. Riemer, S. Struble, P. Takacsi-Nagy, I. Trickovic, S. Zimek, Web Service Choreography Interface. Available from
5. A. Banerji et al., WSCL: Web Services Conversation Language, W3C Technical Report. Available from