{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T19:45:38Z","timestamp":1761767138391,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031202117"},{"type":"electronic","value":"9783031202124"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-20212-4_5","type":"book-chapter","created":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T23:07:28Z","timestamp":1666566448000},"page":"61-75","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Plot Composition by Mapping Situation Calculus Schemas into Petri Net Representation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2617-3394","authenticated-orcid":false,"given":"Edirlei Soares","family":"de Lima","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3710-624X","authenticated-orcid":false,"given":"Antonio L.","family":"Furtado","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4441-2632","authenticated-orcid":false,"given":"Bruno","family":"Feij\u00f3","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0765-9636","authenticated-orcid":false,"given":"Marco A.","family":"Casanova","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,24]]},"reference":[{"issue":"8","key":"5_CR1","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1145\/2240236.2240257","volume":"55","author":"WVD Aalst","year":"2012","unstructured":"Aalst, W.V.D.: Process mining. Commun. ACM 55(8), 76\u201383 (2012). https:\/\/doi.org\/10.1145\/2240236.2240257","journal-title":"Commun. ACM"},{"key":"5_CR2","doi-asserted-by":"publisher","unstructured":"Agostinelli, S., Maggi, F.M., Marrella, A., Mecella, M.: Verifying petri net-based process models using automated planning. In: Proceedings of the 2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop (EDOCW), pp. 44\u201353. IEEE Press, New York (2019). https:\/\/doi.org\/10.1109\/EDOCW.2019.00021","DOI":"10.1109\/EDOCW.2019.00021"},{"key":"5_CR3","unstructured":"Balas, D., Brom, C., Abonyi, A., Gemrot, J.: Hierarchical petri nets for story plots featuring virtual humans. In: Proceedings of the Fourth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE\u201908), pp. 2\u20139. AAAI Press, Menlo Park (2008)"},{"key":"5_CR4","unstructured":"Brom, C., Abonyi, A.: Petri-nets for game plot. In: Proceedings of AISB Artificial Intelligence and Simulation Behaviour Convention 3, pp. 6\u201313 (2006)"},{"key":"5_CR5","doi-asserted-by":"publisher","unstructured":"Ciarlini, A.E.M., Barbosa, S.D.J., Casanova, M.A., Furtado, A.L.: Event relations in plan-based plot composition. Computers in Entertainment 7(4), 55 (2009). https:\/\/doi.org\/10.1145\/1658866.1658874","DOI":"10.1145\/1658866.1658874"},{"issue":"3","key":"5_CR6","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10844-009-0108-5","volume":"35","author":"AEM Ciarlini","year":"2010","unstructured":"Ciarlini, A.E.M., Casanova, M.A., Furtado, A.L., Veloso, P.A.S.: Modeling interactive storytelling genres as application domains. J. Intelligent Inf. Systems 35(3), 347\u2013381 (2010). https:\/\/doi.org\/10.1007\/s10844-009-0108-5","journal-title":"J. Intelligent Inf. Systems"},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Ciarlini, A.E.M., Pozzer, C.T., Furtado, A.L., Feij\u00f3, B.: A logic-based tool for interactive generation and dramatization of stories. In: Proceedings of the International Conference on Advances in Computer Entertainment Technology (ACE 2005), pp. 133\u2013140. ACM Press, New York (2005). https:\/\/doi.org\/10.1145\/1178477.1178495","DOI":"10.1145\/1178477.1178495"},{"key":"5_CR8","volume-title":"The Open Work","author":"U Eco","year":"1989","unstructured":"Eco, U.: The Open Work. Harvard University Press, Cambridge (1989)"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"El-Sattar, H.K.H.A.: A new framework for plot-based interactive storytelling generation. In: Proceedings of the 2008 Fifth International Conference on Computer Graphics, Imaging and Visualisation, pp. 317\u2013322. IEEE Press, New York (2008). https:\/\/doi.org\/10.1109\/CGIV.2008.50","DOI":"10.1109\/CGIV.2008.50"},{"issue":"4","key":"5_CR10","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s11334-007-0035-y","volume":"3","author":"A Fernandes","year":"2007","unstructured":"Fernandes, A., Ciarlini, A.E.M., Furtado, A.L., Hinchey, M.G., Casanova, M.A., Breitman, K.K.: Adding flexibility to workflows through incremental planning. Innovations Syst. Softw. Eng. 3(4), 291\u2013302 (2007). https:\/\/doi.org\/10.1007\/s11334-007-0035-y","journal-title":"Innovations Syst. Softw. Eng."},{"issue":"3\u20134","key":"5_CR11","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"RE Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: A new approach to the application of theorem proving to problem solving. Artif. Intell. 2(3\u20134), 189\u2013208 (1971). https:\/\/doi.org\/10.1016\/0004-3702(71)90010-5","journal-title":"Artif. Intell."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Gheno, F., Lima, E.S.: Hist\u00f3ria viva: a sketch-based interactive storytelling system. In: Proceedings of the XX Brazilian Symposium on Computer Games and Digital Entertainment (SBGames 2021), pp. 116\u2013125. SBC, Porto Alegre (2021)","DOI":"10.5753\/sbgames_estendido.2021.19631"},{"key":"5_CR13","unstructured":"Hickmott, S., Rintanen, J., Thiebaux, S., White, L.: Planning via petri net unfolding. In: Proceedings of the 20th International Joint Conference on Artificial intelligence, pp. 1904\u20131911. AAAI Press, Menlo Park (2007)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/11837862_12","volume-title":"Business Process Management Workshops","author":"E Kindler","year":"2006","unstructured":"Kindler, E., Rubin, V., Sch\u00e4fer, W.: Process mining and petri net synthesis. In: Eder, J., Dustdar, S. (eds.) BPM 2006. LNCS, vol. 4103, pp. 105\u2013116. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11837862_12"},{"issue":"1\u20133","key":"5_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0743-1066(96)00137-9","volume":"31","author":"R Kowalski","year":"1997","unstructured":"Kowalski, R., Sadri, F.: Reconciling the event calculus with the situation calculus. J. Logic Programming 31(1\u20133), 39\u201358 (1997)","journal-title":"J. Logic Programming"},{"key":"5_CR16","volume-title":"Interactive Storytelling for Video Games: A Player-Centered Approach to Creating Memorable Characters and Stories","author":"J Lebowitz","year":"2011","unstructured":"Lebowitz, J., Klug, C.: Interactive Storytelling for Video Games: A Player-Centered Approach to Creating Memorable Characters and Stories. Focal Press, Waltham (2011)"},{"key":"5_CR17","doi-asserted-by":"publisher","unstructured":"Lee, Y.-S., Cho, S.-B.: Dynamic quest plot generation using Petri net planning. In: Proceedings of the Workshop at SIGGRAPH Asia (WASA \u201812), pp. 47\u201352. ACM Press, New York (2012). https:\/\/doi.org\/10.1145\/2425296.2425304","DOI":"10.1145\/2425296.2425304"},{"issue":"2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"2333","DOI":"10.1007\/s11042-017-4423-5","volume":"77","author":"ES de Lima","year":"2017","unstructured":"de Lima, E.S., Feij\u00f3, B., Furtado, A.L.: Video-based interactive storytelling using real-time video compositing techniques. Multimedia Tools Appl. 77(2), 2333\u20132357 (2017). https:\/\/doi.org\/10.1007\/s11042-017-4423-5","journal-title":"Multimedia Tools Appl."},{"key":"5_CR19","doi-asserted-by":"publisher","unstructured":"Lima, E.S., Furtado, A.L., Feij\u00f3, B., Casanova, M.A.: A note on process modelling: combining situation calculus with petri nets. Technical Report 01\/2022, Department of Informatics, PUC-RIO, Rio de Janeiro (2022). https:\/\/doi.org\/10.17771\/PUCRio.DImcc.59758","DOI":"10.17771\/PUCRio.DImcc.59758"},{"key":"5_CR20","doi-asserted-by":"publisher","unstructured":"Lima, E.S., Gheno, F., Viseu, A.: Sketch-based interaction for planning-based interactive storytelling. In: Proceedings of the XIX Brazilian Symposium on Computer Games and Digital Entertainment (SBGames 2020), pp. 348\u2013356. IEEE Press, New York (2020). https:\/\/doi.org\/10.1109\/SBGames51465.2020.00029","DOI":"10.1109\/SBGames51465.2020.00029"},{"issue":"3","key":"5_CR21","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"JL Peterson","year":"1977","unstructured":"Peterson, J.L.: Petri nets. ACM Comput. Surv. 9(3), 223\u2013252 (1977). https:\/\/doi.org\/10.1145\/356698.356702","journal-title":"ACM Comput. Surv."},{"key":"5_CR22","volume-title":"Petri Net Theory and the Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Upper Saddle River (1981)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Riedl, M., Li, B., Ai, H., Ram, A.: Robust and authorable multiplayer storytelling experiences. In: Proceedings of the Seventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE\u201911), pp. 189\u2013194. AAAI Press, Menlo Park (2011)","DOI":"10.1609\/aiide.v7i1.12450"},{"key":"5_CR24","unstructured":"Tan, X.: SCOPE: A situation calculus ontology of Petri Nets. In: Proceedings of 6th International Conference of Formal Ontology in Information Systems, Toronto, Canada, pp. 227\u2013240 (2010)"},{"key":"5_CR25","unstructured":"Ziparo, V.A., Iocchi, L., Nardi, D., Palamara, P.F., Costelha, H.: Petri net plans - a formal model for representation and execution of multi-robot plans. In: Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pp. 79\u201386 (2008)"}],"container-title":["Lecture Notes in Computer Science","Entertainment Computing \u2013 ICEC 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-20212-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T23:08:58Z","timestamp":1666566538000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-20212-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031202117","9783031202124"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-20212-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"24 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICEC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Entertainment Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bremen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 November 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 November 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iwec2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.icec2022.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"72","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"In addition, the proceedings include: 2 Student Competition Papers, 3 Workshop Papers and 7 Special Track Digital Arts and Health","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}