S. Abiteboul, O. Benjelloun, I. Manolescu, T. Milo, and R. Weber, Active XML: A Data-Centric Perspective on Web Services, Journées Bases de Données Avancées, 2002.
DOI : 10.1007/978-3-662-10874-1_12

S. Abiteboul, L. Segoufin, and V. Vianu, Static analysis of Active XML systems, Symposium on Principles of Database Systems, pp.221-230, 2008.

A. Benveniste and L. Hélouët, Distributed Active XML and service interfaces, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00429433

H. Carstensen, Decidability questions for fairness in Petri nets, Symposium on Theoretical Aspects of Computer Science, pp.396-407, 1987.
DOI : 10.1007/BFb0039622

H. Che, Y. Li, A. Oberweis, and W. Stucky, Web service composition based on XML nets, Hawaii International Conference on System Sciences (HICSS-42), pp.1-10, 2009.

D. De-frutos-escrig and C. Johnen, Decidability of home space property, 1989.

J. Esparza and M. Nielsen, Decidability Issues for Petri Nets, BRICS Report Series, vol.1, issue.8, pp.143-160, 1994.
DOI : 10.7146/brics.v1i8.21662

R. Howell, L. Rosier, and H. Yen, A taxonomy of fairness and temporal logic problems for Petri nets, Theoretical Computer Science, vol.82, issue.2, pp.341-372, 1991.
DOI : 10.1016/0304-3975(91)90228-T

L. Hélouët and A. Benveniste, Document based modeling of web services choreographies using Active XML, IEEE International Conference on Web Services, pp.291-298, 2010.

P. Jan?ar, W. R. Cook, and J. Misra, Decidability of weak fairness in petri nets, Symposium on Theoretical Aspects of Computer Science International Conference on Concurrency Theory, pp.446-457, 1987.
DOI : 10.1007/BFb0029006

K. Lenz and A. Oberweis, Inter-organizational Business Process Management with XML Nets, Petri Net Technology for Communication-Based Systems, pp.243-263, 2003.
DOI : 10.1007/978-3-540-40022-6_12

R. Milner, A calculus of communicating systems, Lecture Notes in Computer Science, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

D. Park, Concurrency and automata on infinite sequences, GI- Conference on Theoretical Computer Science, pp.167-183, 1981.
DOI : 10.1007/BFb0017309