Application of Petri Nets for Modeling Ore Flows to Create Dynamic Management and Quality Control System in Mineral Resource Complexes | Synapse