{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:56Z","timestamp":1750220636070,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,21]],"date-time":"2020-10-21T00:00:00Z","timestamp":1603238400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,21]]},"DOI":"10.1145\/3422392.3422472","type":"proceedings-article","created":{"date-parts":[[2020,12,22]],"date-time":"2020-12-22T01:45:39Z","timestamp":1608601539000},"page":"114-119","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools"],"prefix":"10.1145","author":[{"given":"Franciny M.","family":"Barreto","sequence":"first","affiliation":[{"name":"Universidade Federal de Jata\u00ed, Jata\u00ed, Brasil"}]},{"given":"St\u00e9phane","family":"Julia","sequence":"additional","affiliation":[{"name":"Universidade Federal de Uberl\u00e2ndia, Uberl\u00e2ndia, Brasil"}]}],"member":"320","published-online":{"date-parts":[[2020,12,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"62","article-title":"Designing Interactivity in Computer Games: a UML","volume":"3","author":"Ang Chee Siang","year":"2004","unstructured":"Chee Siang Ang and G. S. V. Radha Krishna Rao. 2004. Designing Interactivity in Computer Games: a UML Approach. Int. J. Intell. Games Simulation 3, 2 (2004), 62--69.","journal-title":"Approach. Int. J. Intell. Games Simulation"},{"key":"e_1_3_2_1_2_1","volume-title":"Modeling Games with Petri Nets. In DiGRA Conference.","author":"Ara\u00fajo Manuel","year":"2009","unstructured":"Manuel Ara\u00fajo and Lic\u00ednio Roque. 2009. Modeling Games with Petri Nets. In DiGRA Conference."},{"key":"e_1_3_2_1_3_1","volume-title":"Joslaine Cristina Jeske de Freitas, and St\u00e9phane Julia","author":"Barreto Franciny M","year":"2018","unstructured":"Franciny M Barreto, Joslaine Cristina Jeske de Freitas, and St\u00e9phane Julia. 2018. A Timed Petri Net Model to Specify Scenarios of Video Games. In Information Technology-New Generations. Springer, 467--473."},{"key":"e_1_3_2_1_4_1","volume-title":"Leiliane Pereira de Rezende, and St\u00e9phane Julia","author":"Barreto Franciny M","year":"2018","unstructured":"Franciny M Barreto, Leiliane Pereira de Rezende, and St\u00e9phane Julia. 2018. An Approach Based on Possibilistic WorkFlow Nets to Model Multiplayer Video Games. In Information Technology-New Generations. Springer, 509--515."},{"volume-title":"Proceedings of 24th Annual International Conference on Computer Science and Software Engineering (Markham","author":"Franciny","key":"e_1_3_2_1_5_1","unstructured":"Franciny M. Barreto and St\u00e9phane Julia. 2014. Modeling and Analysis of Video Games Based on Workflow Nets and State Graphs. In Proceedings of 24th Annual International Conference on Computer Science and Software Engineering (Markham, Ontario, Canada) (CASCON '14). IBM Corp., Riverton, NJ, USA, 106--119."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/3477.790440"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Ren\u00e9 David and Hassane Alla. 2010. Discrete continuous and hybrid Petri Nets.","DOI":"10.1007\/978-3-642-10669-9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2011.6083757"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2012.6377898"},{"volume-title":"Coloured Petri nets: modelling and validation of concurrent systems","author":"Jensen Kurt","key":"e_1_3_2_1_10_1","unstructured":"Kurt Jensen and Lars M Kristensen. 2009. Coloured Petri nets: modelling and validation of concurrent systems. Springer Science & Business Media."},{"key":"e_1_3_2_1_11_1","volume-title":"e Haddad","author":"Kanode Hisham M.","year":"2009","unstructured":"Hisham M. Kanode, Christopher M. e Haddad. 2009. Software Engineering Challenges in Game Development.. In ITNG (2010-06-02), Shahram Latifi (Ed.). IEEE Computer Society, 260--265."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050021"},{"key":"e_1_3_2_1_13_1","unstructured":"R. Milner R. Harper and M. Tofte. 1990. The Definition of Standard ML. MIT Press."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of CGAIDE 2004, 5th Game-On International Conference on Computer Games: Artificial Intelligence, Design and Education","author":"Natkin St\u00e9phane","year":"2004","unstructured":"St\u00e9phane Natkin, Liliana Vega, and S Gr\u00fcnvogel. 2004. A new methodology for spatiotemporal game design. In Mehdi, Q. and Gough, N., (Eds.). Proceedings of CGAIDE 2004, 5th Game-On International Conference on Computer Games: Artificial Intelligence, Design and Education. The University of Wolverhampton, School of Computing and Information Technology, Wolverhampton, UK, 109--113."},{"key":"e_1_3_2_1_16_1","volume-title":"Pacific Grove, USA","author":"Reuter Christian","year":"2015","unstructured":"Christian Reuter, Stefan G\u00f6bel, and Ralf Steinmetz. 2015. Detecting structural errors in scene-based Multiplayer Games using automatically generated Petri Nets. Foundations of Digital Games, Pacific Grove, USA (2015)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/AINA.2018.00122"},{"key":"e_1_3_2_1_18_1","unstructured":"Rudolf v B Rucker. 2003. Software engineering and computer games. Pearson Education."},{"volume-title":"Workflow management: models, methods, and systems","author":"Der Aalst Wil Van","key":"e_1_3_2_1_19_1","unstructured":"Wil Van Der Aalst and Kees Max Van Hee. 2004. Workflow management: models, methods, and systems. MIT press."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"volume-title":"Modeling business processes: a petri net-oriented approach","author":"van der Aalst Wil MP","key":"e_1_3_2_1_21_1","unstructured":"Wil MP van der Aalst and Christian Stahl. 2011. Modeling business processes: a petri net-oriented approach. MIT press."}],"event":{"name":"SBES '20: 34th Brazilian Symposium on Software Engineering","sponsor":["SBC Brazilian Computer Society"],"location":"Natal Brazil","acronym":"SBES '20"},"container-title":["Proceedings of the XXXIV Brazilian Symposium on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3422392.3422472","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3422392.3422472","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:54Z","timestamp":1750197714000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3422392.3422472"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,21]]},"references-count":21,"alternative-id":["10.1145\/3422392.3422472","10.1145\/3422392"],"URL":"https:\/\/doi.org\/10.1145\/3422392.3422472","relation":{},"subject":[],"published":{"date-parts":[[2020,10,21]]},"assertion":[{"value":"2020-12-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}