1. Alonso, G., Casati, F., Kuno, H., & Machiraju, V. (2004). Web service: Concept, architectures and applications. Berlin: Springer.
2. Arkin, A., Askary, S., Fordin, S., Jekeli, W., Kawaguchi, K., Orchard, D., et al. (2002). Web service choreography interface (WSCI) 1.0. http://www.w3.org/TR/wsci/ .
3. Chi, Y., Tsai, M., & Lee, C. (2005). A Petri-net based validator in reliability of a composite service. In The proceeding of the IEEE international conference on e-technology, e-commerce and e-service (pp. 450–453).
4. Dubray, J. J. (2002). A new model for ebXML BPSS multi-party collaborations and web services choreography. http://www.ebpml.org/ebpml.doc .
5. Girault, C., & Valk, R. (2003). Petri nets for system engeneering: A guide to modeling, verification and application. Berlin: Springer.