A Petri-net-based model of equipment virtual maintenance process

Based on the structure of equipment and the available amount of maintenance resources, a Petri-net model is established in this paper to describe the equipment virtual maintenance process. The model accurately reflects the relation between the maintaining time and the amount of maintenance resources, and can be used to count the amount of maintenance resources after the equipment deployment, or control the maintenance process dynamically.