W. M. Van-der-aalst, Process Mining: Discovery, Conformance and Enhancement of Business Processes, 2011.

A. , R. Johnson, W. L. Rickel, J. Scholer, and A. , Learning Domain Knowledge for Teaching Procedural Skills, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: Part 3, AAMAS '02, pp.1372-1378, 2002.

E. Badouel, L. Bernardinello, and P. Darondeau, The synthesis problem for elementary net systems is np-complete, Theor. Comput. Sci, vol.186, issue.1-2, pp.107-134, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00074122

E. Badouel, L. Bernardinello, and P. Darondeau, Petri Net Synthesis, Texts in Theoretical Computer Science. An EATCS Series, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01237142

J. N. Bailenson, N. Yee, J. Blascovich, A. C. Beall, N. Lundblad et al., The Use of Immersive Virtual Reality in the Learning Sciences: Digital Transformations of Teachers, Students, and Social Context, Journal of the Learning Sciences, vol.17, issue.1, pp.102-141, 2008.

C. Brom, V. ?isler, and T. Holan, Story Manager in 'Europe 2045' Uses Petri Nets, Virtual Storytelling. Using Virtual Reality Technologies for Storytelling: 4th International Conference, ICVS 2007, pp.38-50, 2007.

B. Caillaud, Surgical Process Mining with Test and Flip Net Synthesis, pp.43-54, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00872284

J. C. Chan, H. Leung, J. K. Tang, and T. Komura, A Virtual Reality Dance Training System Using Motion Capture Technology, IEEE Transactions on Learning Technologies, vol.4, issue.2, pp.187-195, 2011.

P. Chevaillier, T. H. Trinh, M. Barange, P. De-loor, F. Devillers et al., Semantic modeling of Virtual Environments using MASCARET, 2012 5th Workshop on Software Engineering and Architectures for Realtime Interactive Systems (SEARIS), pp.1-8, 2012.

G. Claude, V. Gouranton, R. Bouville-berthelot, and B. Arnaldi, Short Paper: #SEVEN, a Sensor Effector Based Scenarios Model for Driving Collaborative Virtual Environment, ICAT-EGVE, International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments, pp.1-4, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01086237

J. Cremer, J. Kearney, and Y. Papelis, HCSM: a framework for behavior and scenario control in virtual environments, ACM Transactions on Modeling and Computer Simulation (TOMACS), vol.5, issue.3, pp.242-267, 1995.

R. M. Dijkman, M. Dumas, and C. Ouyang, Formal semantics and analysis of bpmn process models using petri nets, pp.1-30, 2007.

S. Gerbaud, N. Mollet, and B. Arnaldi, Virtual Environments for Training: From Individual Learning to Collaboration with Humanoids, pp.116-127, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00165985

T. R. Green and M. Petre, Usability Analysis of Visual Programming Environments: A 'Cognitive Dimensions' Framework, Journal of Visual Languages & Computing, vol.7, issue.2, pp.131-174, 1996.

E. Klopfer, J. Perry, K. Squire, M. F. Jan, and C. Steinkuehler, Mystery at the museum: a collaborative game for museum education, Proceedings of the 2005 Conference on Computer support for collaborative learning, pp.316-320, 2005.

E. Klopfer and K. Squire, Environmental Detectives-the development of an augmented reality platform for environmental simulations, Educational Technology Research and Development, vol.56, pp.203-228, 2007.

F. Lamarche and S. Donikian, Automatic orchestration of behaviours through the management of resources and priority levels, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3, pp.1309-1316, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00432196

,

F. Lécuyer, V. Gouranton, A. Reuzeau, R. Gaugne, and B. Arnaldi, Authoring AR by AR: abstraction and libraries, 2019.

F. Lécuyer, V. Gouranton, A. Reuzeau, R. Gaugne, and B. Arnaldi, Create by doing -Action sequencing in VR, Advances in Computer Graphics, pp.329-335, 2019.

J. L. Lugrin and M. Cavazza, Making sense of virtual environments: action representation, grounding and common sense, Proceedings of the 12th international conference on Intelligent user interfaces, pp.225-234, 2007.

M. Mateas and A. Stern, A behavior language for storybased believable agents, IEEE Intelligent Systems, vol.17, issue.4, pp.39-47, 2002.

A. Paiva, I. Machado, and R. Prada, Heroes, Villians, Magicians, & Dramatis Personae in a Virtual Story Creation Environment, Proceedings of the 6th International Conference on Intelligent User Interfaces, IUI '01, pp.129-136, 2001.

V. Schmitt, Flip-flop nets, STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, vol.1046, pp.517-528, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00074096

M. Soos, K. Nohl, and C. Castelluccia, Extending SAT solvers to cryptographic problems, Theory and Applications of Satisfiability Testing -SAT 2009, 12th International Conference, vol.5584, pp.244-257, 2009.