1. Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. CBP 2007;Barkaoui,2007
2. Barkaoui, K. Boucheneb H. and Hicheur A. (2008). Modeling and Analyzing Time-Constrained Flexible Workflows with Time Recursive Petri Nets. In Int. Workshop WS-FM, Springer, R. Bruni (Eds.), LNCS 5387, p. 19–35.
3. How to Specify Non Determinism and True Concurrency with Algebraic Terms Nets;Bettaz;LNCS,1992
4. Bowden, F.D.J. (2000). A Brief Survey and Synthesis of the Roles of Time in Petri Nets. In: Mathematical and Computer Modelling, pp. 55–68
5. Bruni, R. and Meseguer, J. (2006). Semantic foundations for generalized rewrite theories. J. Theor. Comput. Sci. 360(1–3), 386–414