The modeling of flow of IT equipment to a unit of services IT by coloured Petri net

  • Authors:

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

  • Affiliations:

  • Technology Department, University of Bucureşti, Bucharest, Romania;Technology Department, University of Bucureşti, Bucharest, Romania;Technology Department, University of Bucureşti, Bucharest, Romania

  • Venue:
  • MAMECTIS'10 Proceedings of the 12th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents the use of coloured Petri nets to model economical, social systems, political systems. It concerns the flow computing equipment in a unit profile. The network which models the system is described in detail. CPN-Tools is used to draw a coloured Petri network to obtain the coverage graph (that appears following evolution of a network, starting from a certain state of the system) and a report that provides information about boundedness, liveness and fairness properties of the modeling network.