{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T15:24:41Z","timestamp":1759937081961,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"10-12","license":[{"start":{"date-parts":[[2020,7,12]],"date-time":"2020-07-12T00:00:00Z","timestamp":1594512000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,7,12]],"date-time":"2020-07-12T00:00:00Z","timestamp":1594512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"ANR","award":["ANR-16-FRQC-0004 INTROSPECT"],"award-info":[{"award-number":["ANR-16-FRQC-0004 INTROSPECT"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Vis Comput"],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1007\/s00371-020-01904-7","type":"journal-article","created":{"date-parts":[[2020,7,12]],"date-time":"2020-07-12T06:02:57Z","timestamp":1594533777000},"page":"1951-1963","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Unveiling the implicit knowledge, one scenario at a time"],"prefix":"10.1007","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4659-3820","authenticated-orcid":false,"given":"Flavien","family":"L\u00e9cuyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Val\u00e9rie","family":"Gouranton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aur\u00e9lien","family":"Lamercerie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrien","family":"Reuzeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beno\u00eet","family":"Caillaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Arnaldi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,7,12]]},"reference":[{"key":"1904_CR1","doi-asserted-by":"crossref","unstructured":"Angros\u00a0Jr., R., Johnson, W.L., Rickel, J., Scholer, A.: Learning domain knowledge for teaching procedural skills. In: Proceedings of the first international joint conference on autonomous agents and multiagent systems: part 3, AAMAS\u201902, pp. 1372\u20131378. ACM, New York, NY, USA (2002)","DOI":"10.1145\/545056.545134"},{"issue":"1\u20132","key":"1904_CR2","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0304-3975(96)00219-8","volume":"186","author":"E Badouel","year":"1997","unstructured":"Badouel, E., Bernardinello, L., Darondeau, P.: The synthesis problem for elementary net systems is np-complete. Theor. Comput. Sci. 186(1\u20132), 107\u2013134 (1997)","journal-title":"Theor. Comput. Sci."},{"key":"1904_CR3","volume-title":"Petri Net Synthesis. Texts in Theoretical Computer Science. An EATCS Series","author":"E Badouel","year":"2015","unstructured":"Badouel, E., Bernardinello, L., Darondeau, P.: Petri Net Synthesis. Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin (2015)"},{"issue":"1","key":"1904_CR4","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1080\/10508400701793141","volume":"17","author":"JN Bailenson","year":"2008","unstructured":"Bailenson, J.N., Yee, N., Blascovich, J., Beall, A.C., Lundblad, N., Jin, M.: The use of immersive virtual reality in the learning sciences: digital transformations of teachers, students, and social context. J. Learn. Sci. 17(1), 102\u2013141 (2008)","journal-title":"J. Learn. Sci."},{"key":"1904_CR5","doi-asserted-by":"crossref","unstructured":"Brom, C., \u0160isler, V., Holan, T.: Story Manager in \u2018Europe 2045\u2018 Uses Petri Nets. In: M.\u00a0Cavazza, S.\u00a0Donikian (eds.) Virtual Storytelling. Using Virtual Reality Technologies for Storytelling: 4th International Conference, ICVS 2007, Saint-Malo, France, December 5\u20137, 2007. Proceedings, pp. 38\u201350. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-77039-8_4"},{"key":"1904_CR6","unstructured":"Caillaud, B.: Surgical process mining with test and flip net synthesis. In: R.\u00a0Bergenthum, J.\u00a0Carmona (eds.) Application of Region Theory (ART), pp. 43\u201354. Barcelona, Spain (2013). https:\/\/hal.inria.fr\/hal-00872284"},{"issue":"2","key":"1904_CR7","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/TLT.2010.27","volume":"4","author":"JCP Chan","year":"2011","unstructured":"Chan, J.C.P., Leung, H., Tang, J.K.T., Komura, T.: A virtual reality dance training system using motion capture technology. IEEE Trans. Learn. Technol. 4(2), 187\u2013195 (2011)","journal-title":"IEEE Trans. Learn. Technol."},{"key":"1904_CR8","doi-asserted-by":"crossref","unstructured":"Chevaillier, P., Trinh, T.H., Barange, M., De\u00a0Loor, P., Devillers, F., Soler, J., Querrec, R.: Semantic modeling of Virtual Environments using MASCARET. In: 2012 5th Workshop on Software Engineering and Architectures for Realtime Interactive Systems (SEARIS), pp. 1\u20138 (2012)","DOI":"10.1109\/SEARIS.2012.6231174"},{"key":"1904_CR9","unstructured":"Claude, G., Gouranton, V., Bouville\u00a0Berthelot, R., Arnaldi, B.: Short Paper: #SEVEN, a sensor effector based scenarios model for driving collaborative virtual environment. In: T.\u00a0Nojima, D.\u00a0Reiners, O.\u00a0Staadt (eds.) ICAT-EGVE, International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments, pp. 1\u20134. Bremen, Germany (2014). https:\/\/hal.archives-ouvertes.fr\/hal-01086237"},{"issue":"3","key":"1904_CR10","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/217853.217857","volume":"5","author":"J Cremer","year":"1995","unstructured":"Cremer, J., Kearney, J., Papelis, Y.: HCSM: a framework for behavior and scenario control in virtual environments. ACM Trans. Model. Comput. Simul. (TOMACS) 5(3), 242\u2013267 (1995)","journal-title":"ACM Trans. Model. Comput. Simul. (TOMACS)"},{"key":"1904_CR11","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of bpmn process models using Petri nets. Queensland University of Technology, Tech. Rep pp. 1\u201330 (2007)"},{"key":"1904_CR12","first-page":"116","volume-title":"Virtual Environments for Training: From Individual Learning to Collaboration with Humanoids","author":"S Gerbaud","year":"2007","unstructured":"Gerbaud, S., Mollet, N., Arnaldi, B.: Virtual Environments for Training: From Individual Learning to Collaboration with Humanoids, pp. 116\u2013127. Springer, Berlin (2007)"},{"issue":"2","key":"1904_CR13","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/jvlc.1996.0009","volume":"7","author":"TRG Green","year":"1996","unstructured":"Green, T.R.G., Petre, M.: Usability analysis of visual programming environments: a \u2018Cognitive Dimensions\u2019 framework. J. Vis. Lang. Comput. 7(2), 131\u2013174 (1996)","journal-title":"J. Vis. Lang. Comput."},{"key":"1904_CR14","doi-asserted-by":"crossref","unstructured":"Klopfer, E., Perry, J., Squire, K., Jan, M.F., Steinkuehler, C.: Mystery at the museum: a collaborative game for museum education. In: Proceedings of the 2005 Conference on Computer support for collaborative learning, pp. 316\u2013320. International Society of the Learning Sciences (2005). http:\/\/dl.acm.org\/citation.cfm?id=1149293.1149334","DOI":"10.3115\/1149293.1149334"},{"key":"1904_CR15","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s11423-007-9037-6","volume":"56","author":"E Klopfer","year":"2007","unstructured":"Klopfer, E., Squire, K.: Environmental detectives-the development of an augmented reality platform for environmental simulations. Educ. Technol. Res. Dev. 56, 203\u2013228 (2007)","journal-title":"Educ. Technol. Res. Dev."},{"key":"1904_CR16","doi-asserted-by":"publisher","unstructured":"Lamarche, F., Donikian, S.: Automatic orchestration of behaviours through the management of resources and priority levels. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: Part 3, pp. 1309\u20131316. ACM (2002). https:\/\/doi.org\/10.1145\/545056.545124","DOI":"10.1145\/545056.545124"},{"key":"1904_CR17","unstructured":"L\u00e9cuyer, F., Gouranton, V., Reuzeau, A., Gaugne, R., Arnaldi, B.: Authoring AR by AR: Abstraction and Libraries. In: Y.\u00a0Kakehi, A.\u00a0Hiyama (eds.) ICAT-EGVE 2019 (2019)"},{"key":"1904_CR18","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-030-22514-8_27","volume-title":"Advances in Computer Graphics","author":"F L\u00e9cuyer","year":"2019","unstructured":"L\u00e9cuyer, F., Gouranton, V., Reuzeau, A., Gaugne, R., Arnaldi, B.: Create by doing-action sequencing in VR. In: Gavrilova, M., Chang, J., Thalmann, N.M., Hitzer, E., Ishikawa, H. (eds.) Advances in Computer Graphics, pp. 329\u2013335. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-22514-8_27"},{"key":"1904_CR19","doi-asserted-by":"publisher","unstructured":"Lugrin, J.L., Cavazza, M.: Making sense of virtual environments: action representation, grounding and common sense. In: Proceedings of the 12th International Conference on Intelligent User Interfaces, pp. 225\u2013234. ACM (2007). https:\/\/doi.org\/10.1145\/1216295.1216336","DOI":"10.1145\/1216295.1216336"},{"issue":"4","key":"1904_CR20","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/MIS.2002.1024751","volume":"17","author":"M Mateas","year":"2002","unstructured":"Mateas, M., Stern, A.: A behavior language for story-based believable agents. IEEE Intell. Syst. 17(4), 39\u201347 (2002)","journal-title":"IEEE Intell. Syst."},{"key":"1904_CR21","doi-asserted-by":"crossref","unstructured":"Paiva, A., Machado, I., Prada, R.: Heroes, Villians, Magicians, and Dramatis Personae in a Virtual Story Creation Environment. In: Proceedings of the 6th International Conference on Intelligent User Interfaces, IUI \u201901, pp. 129\u2013136. ACM, New York, NY, USA (2001)","DOI":"10.1145\/359784.360314"},{"key":"1904_CR22","doi-asserted-by":"crossref","unstructured":"Schmitt, V.: Flip-flop nets. In: C.\u00a0Puech, R.\u00a0Reischuk (eds.) STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996, Proceedings, Lecture Notes in Computer Science, vol. 1046, pp. 517\u2013528. Springer (1996)","DOI":"10.1007\/3-540-60922-9_42"},{"key":"1904_CR23","doi-asserted-by":"crossref","unstructured":"Soos, M., Nohl, K., Castelluccia, C.: Extending SAT solvers to cryptographic problems. In: O.\u00a0Kullmann (ed.) Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, Lecture Notes in Computer Science, vol. 5584, pp. 244\u2013257. Springer (2009)","DOI":"10.1007\/978-3-642-02777-2_24"},{"key":"1904_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining: Discovery, Conformance and Enhancement of Business Processes","author":"WMP van der Aalst","year":"2011","unstructured":"van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes, 1st edn. Springer, Berlin (2011)","edition":"1"}],"container-title":["The Visual Computer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00371-020-01904-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00371-020-01904-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00371-020-01904-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,2]],"date-time":"2022-11-02T11:38:23Z","timestamp":1667389103000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00371-020-01904-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,12]]},"references-count":24,"journal-issue":{"issue":"10-12","published-print":{"date-parts":[[2020,10]]}},"alternative-id":["1904"],"URL":"https:\/\/doi.org\/10.1007\/s00371-020-01904-7","relation":{},"ISSN":["0178-2789","1432-2315"],"issn-type":[{"type":"print","value":"0178-2789"},{"type":"electronic","value":"1432-2315"}],"subject":[],"published":{"date-parts":[[2020,7,12]]},"assertion":[{"value":"12 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}