Managing the maintenance process of high-tech equipment using Petri nets

The paper considers the management of the maintenance process of high-tech equipment. The mechanism of operation, maintenance and repair of equipment elements and the availability of highly qualified personnel capable of performing certain types of work are described. The functioning of the Petri net reflects the process of using and maintaining high-tech equipment. The Petri net explores events that correlate certain transitions. The conditions for triggering transitions are considered, and the connections between positions and transitions are described. Each position of the selected set corresponds to the types of high-tech equipment being analyzed, the routine maintenance work performed and the teams carrying out these works. To simulate the processes of functioning of the Petri net, a transition function is formed, which allows determining new network states obtained when a transition is triggered. The rules of operation of the Petri net are described. Allowed transitions are implemented, which have non-zero values in each position at the label input. The transition is triggered not necessarily at the nearest allowed time. The change in the state of the Petri net and its labeling during the implementation of various transitions and changes in the order of their implementation is investigated. When performing any transition, the labeling of the Petri net in question changes. The labels in each position at the input of the implemented transition are reduced by one, and in each output position they increase by one, and the addition of chips at the output positions and decrease at the input positions occur simultaneously. A matrix approach is used to describe the process of functioning of a Petri net. The equipment in question can be aircraft, vehicles, machine tools, etc. As a result, the mechanism of operation, maintenance and repair of equipment elements is considered in the form of parallel processes that occur in the system under consideration independently of each other.