R. Alarcon, E. Wilde, and J. Bellido, Hypermedia-Driven RESTful Service Composition, International Conference on Service-Oriented Computing, pp.111-120, 2010.
DOI : 10.1145/1772690.1772799
URL : http://dret.net/netdret/docs/wilde-wesoa2010-restful-composition.pdf

S. Chemaa, R. Elmansouri, and A. Chaoui, Web services modeling and composition approach using object-oriented petri nets. arXiv preprint arXiv:1304, p.2080, 2013.

G. Decker, A. Lüders, H. Overdick, K. Schlichting, and M. Weske, RESTful Petri Net Execution, Lecture Notes in Computer Science, vol.40, issue.1, pp.73-87978, 2008.
DOI : 10.1016/j.dss.2004.04.008

R. T. Fielding, Architectural styles and the design of network-based software architectures, 2000.

V. Gehlot and C. Nigro, An introduction to systems modeling and simulation with Colored Petri Nets, Proceedings of the 2010 Winter Simulation Conference, pp.104-118, 2010.
DOI : 10.1109/WSC.2010.5679170

R. Hamadi and B. Benatallah, A petri net-based model for web service composition, Proceedings of the 14th Australasian database conference, pp.191-200, 2003.

L. M. Kristensen, S. Christensen, and K. Jensen, The practitioner's guide to coloured Petri nets, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.2, pp.98-132, 1998.
DOI : 10.1007/s100090050021

B. Li, Y. Xu, J. Wu, and J. Zhu, A Petri-net and QoS Based Model for Automatic Web Service Composition, Journal of Software, vol.7, issue.1, pp.149-155, 2012.
DOI : 10.4304/jsw.7.1.149-155

D. Liu, J. Wang, S. C. Chan, J. Sun, and L. Zhang, Modeling workflow processes with colored Petri nets, Computers in Industry, vol.49, issue.3, pp.267-281, 2002.
DOI : 10.1016/S0166-3615(02)00099-4
URL : http://hdl.handle.net/10397/23704

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

C. Pautasso, RESTful web services, Proceedings of the 19th international conference on World wide web, WWW '10, pp.31-51, 2014.
DOI : 10.1145/1772690.1772929

B. Suda, Soap web services, 2003.

B. Tian and Y. Gu, Formal Modeling and Verification for Web Service Composition, Journal of Software, vol.8, issue.11, pp.2733-2737, 2013.
DOI : 10.4304/jsw.8.11.2733-2737

R. Verborgh, T. Steiner, D. Van-deursen, J. De-roo, R. Van-de-walle et al., Description and interaction of restful services for automatic discovery and execution, 2011 FTRA International workshop on Advanced Future Multimedia Services Future Technology Research Association International (FTRA), 2011.

X. Wu and H. Zhu, Formalization and analysis of the REST architecture from the process algebra perspective, Future Generation Computer Systems, vol.56, pp.153-168, 2016.
DOI : 10.1016/j.future.2015.09.007

Y. Yang, Q. Tan, and Y. Xiao, Verifying web services composition based on hierarchical colored petri nets, Proceedings of the first international workshop on Interoperability of heterogeneous information systems , IHIS '05, pp.47-54, 2005.
DOI : 10.1145/1096967.1096977

X. Zhao, A linear logic approach to RESTful web service modelling and composition, UK, 2013.

I. Zuzak, I. Budiselic, and G. Delac, A finite-state machine approach for modeling and analyzing restful systems, J. Web Eng, vol.10, issue.4, pp.353-390, 2011.