Modeling and simulation of a team game with coloured Petri nets

  • Authors:

  • Popa Marin;Drăgan Mihăiţă;Popa Mariana

  • Affiliations:

  • Technology Department, University of Bucharest, Bucharest, Romania;Technology Department, University of Bucharest, Bucharest, Romania;Technology Department, University of Bucharest, Bucharest, Romania

  • Venue:
  • ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume II
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper work describes an example of how systems (economic, social, political, sporting, etc.) can be modeled by colored Petri nets. Here we present the modeling and the simulation of a team game. The network, which modeled the system, is described in detail. CPN-Tools are used for drawing a network colored Petri, in order to obtain the coverage graph that appears following evolution of a network, starting from a certain state of the system and to obtain a report that provides information about : boundedness properties, liveness properties and fairness properties of the modeling network.