PETRI NETS AS A TOOL FOR MINE SIMULATION

摘要

Lately high-level Petri nets have found broadening applications to simulate compound systems in decision-making, informatics, and manufacturing. A process is reflected as a movement of tokens across logical transitions with time delays in places of net. The properties and computer interpretation of Petri nets are described. A complete mining system can be formed from standard components that are presented as Petri nets. Petri nets for a longwalling, driving, mine-wide conveyor net, conveyor-locomotive transport, and robotics-based mining had been constructed. They have been used to solve a number of practical problems, such as coordination of a cutting and supporting, designing and dispatching of compound transport systems, choice of loading strategy for LHD's, interaction between robots and mining machines, and design of mining robots.