The modeling of flow of IT equipment to a unit of services IT by Coloured Petri Net

摘要

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 .