{"id":"https://openalex.org/W2754123937","doi":"https://doi.org/10.1145/3131151.3131193","title":"Modeling of Video Games Using Workflow Nets and State Graphs","display_name":"Modeling of Video Games Using Workflow Nets and State Graphs","publication_year":2017,"publication_date":"2017-09-18","ids":{"openalex":"https://openalex.org/W2754123937","doi":"https://doi.org/10.1145/3131151.3131193","mag":"2754123937"},"language":"en","primary_location":{"id":"doi:10.1145/3131151.3131193","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3131151.3131193","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the XXXI Brazilian Symposium on Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090199413","display_name":"Franciny Medeiros Barreto","orcid":"https://orcid.org/0000-0002-2706-1845"},"institutions":[{"id":"https://openalex.org/I4210090392","display_name":"Universidade Federal de Jata\u00ed","ror":"https://ror.org/00cs91c30","country_code":"BR","type":"education","lineage":["https://openalex.org/I4210090392"]},{"id":"https://openalex.org/I68106152","display_name":"Universidade Federal de Goi\u00e1s","ror":"https://ror.org/0039d5757","country_code":"BR","type":"education","lineage":["https://openalex.org/I68106152"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Franciny M. Barreto","raw_affiliation_strings":["Universidade Federal de Goi\u00e1s, Jata\u00ed, Goi\u00e1s"],"affiliations":[{"raw_affiliation_string":"Universidade Federal de Goi\u00e1s, Jata\u00ed, Goi\u00e1s","institution_ids":["https://openalex.org/I4210090392","https://openalex.org/I68106152"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048116739","display_name":"St\u00e9phane Julia","orcid":null},"institutions":[{"id":"https://openalex.org/I80850581","display_name":"Universidade Federal de Uberl\u00e2ndia","ror":"https://ror.org/04x3wvr31","country_code":"BR","type":"education","lineage":["https://openalex.org/I80850581"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"St\u00e9phane Julia","raw_affiliation_strings":["Universidade Federal de Uberl\u00e2ndia, Uberl\u00e2ndia, Minas Gerais"],"affiliations":[{"raw_affiliation_string":"Universidade Federal de Uberl\u00e2ndia, Uberl\u00e2ndia, Minas Gerais","institution_ids":["https://openalex.org/I80850581"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5090199413"],"corresponding_institution_ids":["https://openalex.org/I4210090392","https://openalex.org/I68106152"],"apc_list":null,"apc_paid":null,"fwci":0.7614,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.77992048,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"261","last_page":"266"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12203","display_name":"Mobile Agent-Based Network Management","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8578990697860718},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7880419492721558},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7290872931480408},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6156929731369019},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.5563487410545349},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5225531458854675},{"id":"https://openalex.org/keywords/video-game","display_name":"Video game","score":0.5122029185295105},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4771420657634735},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46375563740730286},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4355491101741791},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4204106628894806},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.41591233015060425},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.359813928604126},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3028847873210907},{"id":"https://openalex.org/keywords/multimedia","display_name":"Multimedia","score":0.21173864603042603},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.12478762865066528}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8578990697860718},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7880419492721558},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7290872931480408},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6156929731369019},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.5563487410545349},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5225531458854675},{"id":"https://openalex.org/C3018412434","wikidata":"https://www.wikidata.org/wiki/Q7889","display_name":"Video game","level":2,"score":0.5122029185295105},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4771420657634735},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46375563740730286},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4355491101741791},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4204106628894806},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.41591233015060425},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.359813928604126},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3028847873210907},{"id":"https://openalex.org/C49774154","wikidata":"https://www.wikidata.org/wiki/Q131765","display_name":"Multimedia","level":1,"score":0.21173864603042603},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.12478762865066528},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3131151.3131193","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3131151.3131193","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the XXXI Brazilian Symposium on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322980","display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de Minas Gerais","ror":"https://ror.org/00nc55f03"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W139832837","https://openalex.org/W1505489763","https://openalex.org/W1508831365","https://openalex.org/W1520779252","https://openalex.org/W1829244603","https://openalex.org/W1976132482","https://openalex.org/W1978226959","https://openalex.org/W1996109622","https://openalex.org/W2095477118","https://openalex.org/W2105678592","https://openalex.org/W2129466958","https://openalex.org/W2169822974","https://openalex.org/W2251933736","https://openalex.org/W2891255201","https://openalex.org/W3139600135","https://openalex.org/W3140989447","https://openalex.org/W4300591351","https://openalex.org/W6815389321"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W2257573499","https://openalex.org/W2381491984","https://openalex.org/W4386989863","https://openalex.org/W2064254377","https://openalex.org/W2901841247","https://openalex.org/W1847176793","https://openalex.org/W2148229336","https://openalex.org/W2001922003","https://openalex.org/W117466158"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"an":[3],"approach":[4],"based":[5],"on":[6],"Petri":[7,57,85],"nets":[8],"for":[9],"the":[10,25,27,39,43,48,68,73,77,125],"design":[11],"process":[12],"of":[13,38,53,56,102],"video":[14,33,109,116],"games":[15,110],"is":[16,21,80,93,119],"presented.":[17],"A":[18,62,100],"WorkFlow":[19],"net":[20,58],"used":[22,94,120],"to":[23,95,106,121],"represent":[24],"activities":[26],"player":[28,44],"will":[29,45],"perform":[30,96],"in":[31,108],"a":[32,54,83],"game.":[34],"The":[35,88,115],"main":[36],"areas":[37],"virtual":[40],"world":[41],"that":[42,66,70],"encounter":[46],"during":[47],"game":[49,117],"are":[50],"modeled":[51],"through":[52],"kind":[55,101],"named":[59],"State":[60],"Graph.":[61],"formal":[63],"communication":[64],"mechanisms":[65],"shows":[67],"interactions":[69],"exist":[71],"between":[72],"activity":[74],"model":[75],"and":[76,123],"topological":[78],"map":[79],"presented":[81],"by":[82],"Colored":[84],"Net":[86],"model.":[87],"simulation":[89],"software":[90],"CPN":[91],"Tools":[92],"state":[97],"space":[98],"analysis.":[99],"soundness":[103],"property":[104],"related":[105],"gameplay":[107],"can":[111],"thus":[112],"be":[113],"verified.":[114],"Dream:Scape":[118],"explain":[122],"illustrate":[124],"proposed":[126],"approach.":[127]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}