@inproceedings{sgem2012s10v3043, title = {USING PETRI NETS TO MODELLING UNDERGROUND MINE INERTING}, author = {Vladislav Vancura}, booktitle = {SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; SGEM2012 12th International Multidisciplinary Scientific GeoConference}, year = {2012}, pages = {}, publisher = {Stef92 Technology}, doi = {10.5593/sgem2012/s10.v3043} }