@misc{Banaszak_Zbigniew_(1948–_)_XV_2005,
 author={Banaszak, Zbigniew (1948– ) and Bzdyra, Krzysztof and Wójcik, Robert},
 copyright={Creative Commons Attribution BY 4.0 license},
 address={Warszawa},
 journal={Książka = Book},
 howpublished={online},
 year={2005},
 publisher={Instytut Badań Systemowych. Polska Akademia Nauk},
 publisher={Systems Research Institute. Polish Academy of Sciences},
 language={pol},
 abstract={W pracy przedstawiono zastosowanie metody programowania logicznego z ograniczeniami (CLP) do wyznaczania przepływów materiało wych w systemach współbieżnych procesów produkcyjnych. Reguły rozstrzygania konfliktów zasobowych wyrażono za pomocą zbioru predykatów definiujących ograniczenia na zmienne decyzyjne problemu. Model predykatowy wyrażono w dziedzinie czasu i w dziedzinie zdarzeń, a następnie zaimplementowano w procedurach propagacji i podstawiania wartości zmiennych, które umożliwiają szybkie wyszukiwanie rozwiązań dopuszczalnych w drzewie poszukiwań problemu CP. Zdefiniowane predykaty stanowią warunki wystarczające dla wyznaczenia harmonogramów operacji wolnych od blokad i spełniających zadane ograniczenia jakościowe i ilościowe.},
 type={Text},
 title={XV krajowa konferencja automatyki : Warszawa, 27-30 czerwca 2005. T. 2 * Sterowanie kompleksami operacji * Zastosowanie technik programowania z ograniczeniami w zadaniach rozstrzygania konfliktów zasobowych},
 URL={http://www.rcin.org.pl/Content/205844/PDF/KS-2005-02-R12P07.pdf},
}