Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Safeguarding Personal Health Information: Case Study Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

61. A Timed Petri Net Model to Specify Scenarios of Video Games

verfasst von : Franciny M. Barreto, Joslaine Cristina Jeske de Freitas, Stéphane Julia

Erschienen in: Information Technology - New Generations

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this paper, an approach based on Petri nets for the design process of video games is presented. A WorkFlow net is used to represent the activities the player will perform in a video game. The main areas of the virtual world that the player will encounter during the game are modeled through a kind of Petri net named State Graph. A timed version of the WorkFlow net (that models the activities of the game) and of the State Graph (that models the topological map of the game) is presented in order to produce an estimated time that corresponds to the effective duration a player will need to complete a specific level of a game. The simulation software CPN Tools is used to simulate both models and show, through a kind of quantitative analysis, the influence that one model has over the other. The video game Silent Hill II is used to illustrate the proposed approach.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Clustering and Combinatorial Methods for Test Suite Prioritization of GUI and Web Applications
Nächstes Kapitel Survey of Biometric Techniques for Automotive Applications
Fußnoten
1
At first, these values were defined only for test purposes. As future work it will be interesting to consider a more accurate study to determine e with more precision.
 
Literatur
1.
C. Crawford, The Art of Computer Game Design, 1982
2.
C. M. Kanode, H. M Haddad, Software engineering challenges in game development, in Information Technology: New Generations, 2009. ITNG'09. Sixth International Conference on, ed. by S. Latifi (IEEE Computer Society, Washington, D.C, 2009), pp. 260–265
3.
S. Natkin, L. Vega, S. Grünvogel, A new methodology for spatiotemporal game design, in Proceedings of CGAIDE 2004, 5th Game-On International Conference on Computer Games: Artificial Intelligence, Design and Education, 2004, ed. by Q. Mehdi and N. Gough, pp. 109–113
4.
E.M. Reyno, J.C. Cubel, Automatic prototyping in model-driven game development. CIE 7(2) (2009)
5.
M. Araújo, L. Roque, Modeling games with petri nets, in Breaking New Ground: Innovation in Games, Play, Practice and Theory. DIGRA2009 (Londres, Royaume Uni, 2009)
6.
G.W. de Oliveira, S. Julia, L.M.S. Passos, Game modeling using workflow nets, in SMC, (IEEE, Washington, D.C, 2011), pp. 838–843
7.
F.M. Barreto, S. Julia, 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, Ser. CASCON ‘14, (IBM Corp, Riverton, NJ, 2014), pp. 106–119
8.
Konami, Silent hill 2, computer game, developed and published by konami (2001)
9.
T. Murata, Petri nets: Properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)CrossRef
10.
W.M. van der Aalst, The application of petri nets to workflow management. JCSC 8(1), 21–66 (1998)
11.
W.M. van der Aalst, A.H. ter Hofstede, Verification of workflow task structures: a petri-net-baset approach. Inf. Syst. 25(1), 43–69 (2000) CrossRef
12.
W. Van Der Aalst, K.M. Van Hee, Workflow Management: Models, Methods, and Systems (MIT Press, Cambridge, 2004)
13.
D. René and A. Hassane, Discrete, Continuous, and Hybrid Petri Nets (Berlin, London, 2010)
14.
R. Milner, R. Harper, M. Tofte, The Definition of Standard ML (MIT Press, Cambridge, 1990)
15.
V. Gehlot and C. Nigro, An introduction to systems modeling and simulation with colored petri nets, in Winter Simulation Conference (WSC, 2010), pp. 104–118
16.
K. Jensen, An introduction to the practical use of coloured petri nets, in Lectures on Petri Nets II: Applications, (Springer, Berlin, 1998), pp. 237–292CrossRef
17.
W.M. van der Aalst, C. Stahl, Modeling Business Processes: A Petri Net-Oriented Approach (MIT Press, Cambridge, 2011)MATH
18.
F. M. Barreto, J. C. Jeske de Freitas, M. S. Soares, and S. Julia, A straightforward introduction to formal methods using coloured petri nets, in 16th international conference on enterprise information systems, ser. ICEIS 2014, vol. 2, 2014, pp. 145–152
Metadaten
Titel
A Timed Petri Net Model to Specify Scenarios of Video Games
verfasst von
Franciny M. Barreto
Joslaine Cristina Jeske de Freitas
Stéphane Julia
Copyright-Jahr
2018
Buch
Information Technology - New Generations

Print ISBN: 978-3-319-77027-7

Electronic ISBN: 978-3-319-77028-4

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-77028-4_61

Premium Partner

    Bildnachweise