R. Valk, Self-modifying nets, a natural extension of Petri nets, Proceedings of the Fifth Colloquium on Automata, Languages and Programming, pp.464-476, 1978.
DOI : 10.1007/3-540-08860-1_35

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

S. Haddad and D. Poitrenaud, Recursive Petri nets, Acta Informatica, vol.6, issue.1, pp.463-508, 2007.
DOI : 10.1007/978-1-4757-4070-7
URL : https://hal.archives-ouvertes.fr/hal-01574369

S. Guan and S. Lim, Modeling adaptable multimedia and self-modifying protocol execution, Future Generation Computer Systems, vol.20, issue.1, pp.123-143, 2004.
DOI : 10.1016/S0167-739X(03)00127-4
URL : http://bura.brunel.ac.uk/bitstream/2438/1113/1/Modeling%20Adaptable%20Multimedia%20and%20Self-modifying%20Protocol%20Execution.pdf

M. L. Badouel and J. Oliver, Modeling concurrent systems: Reconfigurable nets, Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA 03, pp.1568-1574, 2003.

M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-oliet et al., Maude: specification and programming in rewriting logic, Logic and its Applications, pp.187-243, 2002.
DOI : 10.1016/S0304-3975(01)00359-0
URL : https://doi.org/10.1016/s0304-3975(01)00359-0

J. Zhang, M. Khalgui, Z. Li, O. Mosbahi, and A. , R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems, IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.43, issue.4, pp.757-772, 2013.
DOI : 10.1109/TSMCA.2012.2217321

K. Barkaoui and A. Hicheur, Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets, Lecture Notes in Computer Science, vol.4928, pp.232-244, 2008.
DOI : 10.1007/978-3-540-78238-4_24
URL : https://hal.archives-ouvertes.fr/hal-01125421

R. Muschevici, . Ku-leuven-university, . P. Belgium, J. Olveczky, and . Meseguer, Modelling Diversity in Software Product Lines Real-Time Maude: A tool for simulating and analyzing real-time and hybrid systems, 3rd International Workshop on Rewriting Logic and its Applications (WRLA'00), volume 36 of Electronic Notes in Theoretical Computer Science, 2000.

S. Eker, J. Meseguer, and A. Sridharanarayanan, The Maude LTL Model Checker, Electronic Notes in Theoretical Computer Science, vol.71, issue.0, pp.162-187, 2004.
DOI : 10.1016/S1571-0661(05)82534-4
URL : https://doi.org/10.1016/s1571-0661(05)82534-4

J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992.
DOI : 10.1016/0304-3975(92)90182-F

K. Kang, S. Cohen, J. Hess, W. Novak, and A. Peterson, Feature-oriented domain analysis (foda) feasibility study, 1990.
DOI : 10.21236/ADA235785
URL : http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA235785&Location=U2&doc=GetTRDoc.pdf