1. van der Aalst, W.M.P.: Challenges in Business Process Management: Verification of Business Processing Using Petri Nets. In: Bulletin of the EATCS 80, pp. 174–199 (2003)
2. Lecture Notes in Computer Science;P.A. Abdulla,2001
3. Andrews, T., Curbera, F., Dolakia, H., Goland, J., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weeravarana, S.: Business Process Execution Language for Web Services, version 1.1 (2003)
4. Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of the ACM 2(5), 323–342 (1983)
5. Koshkina, M., Breugel, F.: Modelling and Verifying Web Service Orchestration by means of the Concurrency Workbench. In: Proceedings of the Workshop on Testing, Analysis and Verification of Web Services (TAV-WEB), September 2004. ACM SIGSOFT Software Engineering Notes, vol. 29(5) (2004)