Ushbu amaliy ish "Foydalanishlarni boshqarish" fanidan bo'lib, foydalanishlarni boshqarish formal modellarining grafik tahlilini amalga oshirishga bag'ishlangan. Resurslarni boshqarish, qarorlar qabul qilish va optimallashtirish masalalari bilan bog'liq