Modeling and analysis of video games based on workflow nets and state graphs. - Franciny Medeiros Barreto; Stéphane Julia (CASCON, 2014)

A Straightforward Introduction to Formal Methods Using Coloured Petri Nets. - Franciny Medeiros Barreto; Joslaine Cristina Jeske de Freitas; Michel S. Soares; Stéphane Julia (ICEIS (2), 2014)

Modeling of Video Games Using Workflow Nets and State Graphs. - Franciny Medeiros Barreto; Stéphane Julia (SBES, 2017)

A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools. - Franciny Medeiros Barreto; Stéphane Julia (SBES, 2020)

Uma abordagem baseada em Redes de Petri para Modelagem, Análise e Simulação de Cenários de Vídeo Games Singleplayer e Multiplayer - Franciny Medeiros Barreto (2020)

Formal Approach Based on Petri Nets for Modeling and Verification of Video Games. - Franciny Medeiros Barreto; Stéphane Julia (Comput. Informatics, 2021)