Modeling games with petri nets

Breaking New Ground: Innovation in Games, Play, Practice and Theory - Proceedings of DiGRA 2009

Volumn , Issue , 2009, Pages

  Araújo, Manuel ^a   Roque, Licínio ^a  

^a UNIVERSITY OF COIMBRA   (Portugal)

Author keywords

Game design; Game flow modeling; Petri Nets; Simulation

Indexed keywords

GAME DESIGN; GAME FLOWS; GAME SYSTEM; GRAPHICAL NOTATION; MODEL COMPLEXES; MODELING LANGUAGES; SIMULATION;

PETRI NETS;

GAME THEORY;

EID: 84873396361     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Zou, M., and Zurawski, R. Introduction to Petri Nets in Flexible and Agile Automation, Petri Nets in Flexible and Agile Automation. Kluwer Academic Publishers, 1995, 1-42.
2. Murata, T. Petri Nets: Properties, Analysis And Applications. Proceedings of the IEEE, Vol.77, No.4, April 1989, 541-580.
3. Petri, C., and Reisig, W. Petri net http://www.scholarpedia.org/article/ Petri-net (retrieved on 12/02/09).
4. Petri Nets World: Petri Nets Tool Database Quick Overview. http://www. informatik.unihamburg. de/TGI/PetriNets/tools /quick.html (retrieved on 15/02/09).
5. Yasper User Guide. http://www.yasper.org/(retrieved on 09/02/09).
6. Workflow Petri Net Designer. http://woped.ba-karlsruhe.de/woped/ WorkflowNets (retrieved on 12/02/09).
7. van der Aalst, W. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, Vol. 8, No. 1, 1998, 21-66.
8. CPN Tools, Computer Tool for Coloured Petri Nets. http://www.daimi.au.dk/ CPNTools/(retrieved on 09/02/09).
9. Bethke, E. Game Development and Production. Wordware Publishing, 2003.
10. Crawford, C. The Art of Computer Game Design. McGraw-Hill/Osborne Media, 1984
11. Lian, J., Hu, Z. and Shatz, S. Simulation-Based Analysis of UML Statechart Diagrams: Methods and Case Studies. The Software Quality Journal (SQJ), Vol. 16, No. 1, March 2008, 45-78.
12. Lewinski, J. S. Developer's Guide to Computer Game Design. Wordware Publishing, 1999.
13. Rollings, A., and Adams, E. Andrew Rollings and Ernest Adams on Game Design. New Riders, 2003.
14. Wendt, S. Modified Petri Nets as Flowcharts for Recursive Programs. Software-Practice and Experience, Vol. 10, No. 11, 1980, 935-942.
15. Horrocks, I. Constructing the User Interface with Statecharts. Addison-Wesley Professional, 1999.
16. Salen, K., and Zimmerman, E. Rules of Play: Game Design Fundamentals. MIT Press, 2003.
17. Aredo, D. B. A Framework for Semantics of UML Sequence Diagrams in PVS. Journal of Universal Computer Science, Vol. 8, No. 7, 2002, 674-697
18. Schattkowsky, T., and Forster, A. On the Pitfalls of UML 2 Activity Modeling. IEEE Computer Society, ICSE Proceedings of the International Workshop on Modeling in Software Engineering, page 8, 2007.
19. Crawford, C. The Art of Interactive Design: A Euphonious and Illuminating Guide to Building Successful Software. No Starch Press, 2002.
20. Szienk, M. Formal Semantics and Reasoning about UML Class Diagram. IEEE Computer Society, DEPCOS-RELCOMEX, Proceedings of the International Conference on Dependability of Computer Systems, 2006, 51-59.
21. Unified Modeling Language. http://en.wikipedia.org/wiki/Unified-Modeling- La nguage (retrieved on 17/02/09).
22. Brom, C., and Abonyi, A. Petri-Nets for Game Plot. Proceedings of AISB, Vol.3. 6?13.
23. Balas, D., Brom, C., Abonyi, A., and Gemrot, J. Hierarchical Petri Nets for Story Plots Featuring Virtual Humans. Proceedings of Artificial Intelligence and Interactive Digital Entertainment 2008, pages 2-9.
24. Brom, C., Sisler, V. and Holan, T. Story Manager in 'Europe 2045' Uses Petri Nets. International Conference on Virtual Storytelling 2007, pages 38-50.