Цахим шуудангийн бүртгэл: Qualifications of Petri nets for modeling of logistical systems