@misc{Banaszak_Zbigniew_(1948–_)_Automatyczna_2004,
 author={Banaszak, Zbigniew (1948– ) and Majdzik, Paweł and Wójcik, Robert},
 copyright={Creative Commons Attribution BY 4.0 license},
 address={Warszawa},
 journal={Raport Badawczy = Research Report},
 howpublished={online},
 year={2004},
 publisher={Instytut Badań Systemowych. Polska Akademia Nauk},
 publisher={Systems Research Institute. Polish Academy of Sciences},
 language={pol},
 abstract={W pracy rozważany jest problem budowy modelu analitycznego systemów dyskretnych procesów cyklicznych współdzielących zasoby zgodnie z zasadą wzajemnego wykluczania. Poprawne działanie systemów tego typu wymaga uwzględniania w procedurach sterowania warunków wystarczających, gwarantujących bezblokadową oraz bezzagłodzeniową pracę systemu. Dla pewnej klasy systemów współbieżnych procesów cyklicznych przedstawiono metody automatycznej syntezy procedur sterowania procesami ze szczególnym uwzględnieniem etapu budowy analitycznego modelu wydajnościowego w oparciu o formalizm (max, +) algebry. Formalizm ten daje możliwość analitycznego wyznaczenia wielu charakterystyk funkcjonowania systemu, takich jak harmonogram przebiegu procesów czy okres pracy systemu. Głównym osiągnięciem pracy jest określenie warunków wystarczających, gwarantujących wyznaczenie minimalnego okresu pracy systemu w oparciu o formalizm (max, +) algebry, dla przyjętych reguł rozstrzygania konfliktów zasobowych oraz przyjętego stanu początkowego.},
 title={Automatyczna synteza modeli wydajnościowych współbieżnych procesów cyklicznych},
 type={Text},
 URL={http://rcin.org.pl/Content/139598/PDF/RB-2004-21.pdf},
 keywords={Modelowanie, Systemy współbieżnych procesów cyklicznych, Wzajemne wykluczanie, Formalizm (max, +) algebry},
}