W. Aalst, Verification of Workflow Nets. In Application and Theory of Petri Nets, 1997.

C. Bäckström, Computational aspects of reordering plans, JAIR, vol.9, pp.99-137, 1998.

S. Biundo, R. Aylett, M. Beetz, D. Borrajo, A. Cesta et al., PLANET Technological Roadmap on AI Planning and Scheduling, 2003.

J. Hoffmann and B. Nebel, The FF planning system: Fast plan generation through heuristic search, JAIR, vol.14, pp.253-302, 2001.

J. Hoffmann, P. Bertoli, and M. Pistore, Web service composition as planning, revisited: In between background theories and initial state uncertainty, Proc. AAAI'07, 2007.

J. Hoffmann, I. Weber, J. Scicluna, T. Kaczmarek, and A. Ankolekar, Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services, 2008 Eighth International Conference on Web Engineering, 2008.
DOI : 10.1109/ICWE.2008.8

S. Kambhampati, Model-lite planning for the web age masses: The challenges of planning with incomplete and evolving domain models, Proc. AAAI'07, 2007.

A. Mediratta and B. Srivastava, Applying planning in composition ofweb services with a user-driven contingent planner, 2006.

S. Narayanan and S. Mcilraith, Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.2008-2009, 2002.
DOI : 10.1145/511446.511457

M. Pistore, P. Traverso, and P. Bertoli, Automated composition of web services by planning in asynchronous domains, Proc. ICAPS'05, 2005.

I. Weber, I. Markovic, and C. Drumm, A conceptual framework for semantic business process configuration, Journal of Information Science and Technology, vol.5, issue.2, pp.3-20, 2008.

M. Weske, Business Process Management: Concepts, Languages , Architectures, 2007.
DOI : 10.1007/978-3-642-28616-2