{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:21Z","timestamp":1750306101659,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,20]],"date-time":"2017-09-20T00:00:00Z","timestamp":1505865600000},"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":[[2017,9,20]]},"DOI":"10.1145\/3131151.3131193","type":"proceedings-article","created":{"date-parts":[[2017,9,18]],"date-time":"2017-09-18T12:20:59Z","timestamp":1505737259000},"page":"261-266","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Modeling of Video Games Using Workflow Nets and State Graphs"],"prefix":"10.1145","author":[{"given":"Franciny M.","family":"Barreto","sequence":"first","affiliation":[{"name":"Universidade Federal de Goi\u00e1s, Jata\u00ed, Goi\u00e1s"}]},{"given":"St\u00e9phane","family":"Julia","sequence":"additional","affiliation":[{"name":"Universidade Federal de Uberl\u00e2ndia, Uberl\u00e2ndia, Minas Gerais"}]}],"member":"320","published-online":{"date-parts":[[2017,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Practice and Theory. DIGRA2009","author":"Ara\u00fajo Manuel","year":"2009","unstructured":"Manuel Ara\u00fajo and Lic\u00ednio Roque . 2009 . Modeling games with petri nets. Breaking New Ground: Innovation in Games, Play , Practice and Theory. DIGRA2009 . Londres, Royaume Uni (2009). Manuel Ara\u00fajo and Lic\u00ednio Roque. 2009. Modeling games with petri nets. Breaking New Ground: Innovation in Games, Play, Practice and Theory. DIGRA2009. Londres, Royaume Uni (2009)."},{"volume-title":"Proceedings of 24th Annual International Conference on Computer Science and Software Engineering (CASCON '14)","author":"Franciny","key":"e_1_3_2_1_2_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 (CASCON '14) . IBM Corp., Riverton, NJ, USA, 106--119. http:\/\/dl.acm.org\/citation.cfm?id=2735522.2735535 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 (CASCON '14). IBM Corp., Riverton, NJ, USA, 106--119. http:\/\/dl.acm.org\/citation.cfm?id=2735522.2735535"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2011.6083757"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2433508.2433523"},{"volume-title":"Lectures on Petri Nets II: Applications","author":"Jensen Kurt","key":"e_1_3_2_1_5_1","unstructured":"Kurt Jensen . 1998. An introduction to the practical use of coloured petri nets . In Lectures on Petri Nets II: Applications . Springer , 237--292. Kurt Jensen. 1998. An introduction to the practical use of coloured petri nets. In Lectures on Petri Nets II: Applications. Springer, 237--292."},{"volume-title":"Coloured Petri Nets","author":"Jensen Kurt","key":"e_1_3_2_1_6_1","unstructured":"Kurt Jensen and Lars Michael Kristensen . 2009. Coloured Petri Nets . Springer . Kurt Jensen and Lars Michael Kristensen. 2009. Coloured Petri Nets. Springer."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2009.74"},{"key":"e_1_3_2_1_8_1","unstructured":"R. Milner R. Harper and M. Tofte. 1990. The Definition of Standard ML. MIT Press.   R. Milner R. Harper and M. Tofte. 1990. The Definition of Standard ML. MIT Press."},{"key":"e_1_3_2_1_9_1","first-page":"4","article-title":"Petri Nets","volume":"77","author":"Murata T.","year":"1989","unstructured":"T. Murata . 1989 . Petri Nets : Properties, Analysis and Applications. Proc. IEEE 77 , 4 (April 1989), 541--580. T. Murata. 1989. Petri Nets: Properties, Analysis and Applications. Proc. IEEE 77, 4 (April 1989), 541--580.","journal-title":"Properties, Analysis and Applications. Proc. IEEE"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of CGAIDE 2004, 5th Game-On International Conference on Computer Games: Artificial Intelligence, Design and Education. 109--113","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. 109--113 . 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. 109--113."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"David Ren\u00e9 and Alla Hassane. 2010. Discrete continuous and hybrid Petri Nets. (2010). http:\/\/www.amazon.com\/Discrete-Continuous-Hybrid-Petri-Nets\/dp\/3642106684\/ref=dp_ob_image_bk   David Ren\u00e9 and Alla Hassane. 2010. Discrete continuous and hybrid Petri Nets. (2010). http:\/\/www.amazon.com\/Discrete-Continuous-Hybrid-Petri-Nets\/dp\/3642106684\/ref=dp_ob_image_bk","DOI":"10.1007\/978-3-642-10669-9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1541895.1541909"},{"key":"e_1_3_2_1_13_1","unstructured":"Speedbump. 2012. Dream:scape electronic game developed by Speedbump and published by iTunes. (2012).  Speedbump. 2012. Dream:scape electronic game developed by Speedbump and published by iTunes. (2012)."},{"volume-title":"Workflow management: models, methods, and systems","author":"Der Aalst Wil Van","key":"e_1_3_2_1_14_1","unstructured":"Wil Van Der Aalst and Kees Max Van Hee . 2004. Workflow management: models, methods, and systems . MIT press . Wil Van Der Aalst and Kees Max Van Hee. 2004. Workflow management: models, methods, and systems. MIT press."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(00)00008-9"}],"event":{"name":"SBES'17: 31st Brazilian Symposium on Software Engineering","sponsor":["SBC Brazilian Computer Society","CNPq Conselho Nacional de Desenvolvimento Cientifico e Tecn","CAPES Brazilian Higher Education Funding Council"],"location":"Fortaleza CE Brazil","acronym":"SBES'17"},"container-title":["Proceedings of the XXXI Brazilian Symposium on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3131151.3131193","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3131151.3131193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:35Z","timestamp":1750217435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3131151.3131193"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,20]]},"references-count":16,"alternative-id":["10.1145\/3131151.3131193","10.1145\/3131151"],"URL":"https:\/\/doi.org\/10.1145\/3131151.3131193","relation":{},"subject":[],"published":{"date-parts":[[2017,9,20]]},"assertion":[{"value":"2017-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}