Methodology of models based on modified Petri nets

Abstract

One of the key tendencies of ICS networks is the integration of technologies of a controlling system. In order to maintain the high quality of control it is necessary to guarantee the joint action of all the ICS subsystems. Quality of service technologies allow solving this problem by adjusting the policy of maintenance of the networking equipment traffic. Data of network simulation, which is conducted using some mathematical tool, can become the basis for selection of adjustments. Here it is suggested to use an extension constructed on the basis of colored, fuzzy, timed, hierarchical, and priority Petri nets, as such a tool. The article provides a formal description of the developed mathematical tool of the modified fuzzy Petri nets. It shows the advantages when modeling network devices.