ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПЕТРИ-ОБЪЕКТНОГО МОДЕЛИРОВАНИЯ СИСТЕМ