Model dla problemu szeregowania zadań z zasobami zależnymi od stanu systemu

Celem artykułu jest przedstawienie modelu algebraiczno-logicznego dla specyficznego problemu szeregowania zadań, w którym występuje konieczność transportu maszyn. Charakterystyczną cechą tego problemu jest fakt, że zasoby, niezbędne do realizacji zadań, są zmienne i ich dostępność zależy od aktualnego stanu systemu. Rozpatrywany model uwzględnia możliwość oczekiwania maszyn na udostępnienie zasobu Jest to problem należący do klasy problemów NP-trudnych. Model algebraiczno-logiczny wykorzystywany jest do symulacji procesu połączonej z jego optymalizacją.

---

The aim of the paper is to present algebraic-logical model for specific task scheduling problem. In this problem machines need transport. Characteristic thing is that resources, which are required to accomplishing the tasks, are changeable and depend on the current state of the system. Proposed model includes the possibility that machine waits for resources to be accessible. This problem belongs to NP-hard class. The algebraic-logical model is used for simulation and optimization of this decision.