Publikace na Matematicko-fyzikální fakulta |
2006
Abstrakt
Práce se zabývá řešením rozvrhovacích problémů technikou splňování omezujících podmínek. Konkrétně navrhuje model pro zdroje, jejichž chování lze popsat pomocí stavového diagramu.
Tento model je založen na myšlence rozšířit tradiční precedenční graf o přímé precedence. Článek popisuje filtrační pravidla odstraňující nekonzistence z takto rozšířeného precedenčního grafu.