„Declarative Models of Concurrent Cyclic Processes" to tytuł monografii naukowej autorstwa dr. hab. inż. Grzegorza Bocewicza, prof. PK z Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej, którą opublikowało wydawnictwo Springer.

Książka ukazała się w ramach serii wydawniczej „Studies in Systems, Decision and Control”. Publikacja wprowadza w zagadnienia modelowania systemów współbieżnych multimodalnych procesów cyklicznych (SWMPC). Systemy tej klasy definiowane są jako zbiory procesów multimodalnych (tzn. procesów wykorzystujących do swojej realizacji inne procesy), które wykonują operacje cyklicznie na zbiorze współdzielonych zasobów - procesorów, stacji roboczych, pojazdów itp.

Modele procesów multimodalnych ilustrują funkcjonowanie wielu spotykanych w praktyce systemów cyklicznych. Typowymi przykładami są systemy kolei pasażerskiej, komunikacji miejskiej, sieci dystrybucji, systemy transportowe itp.

Jednym z ważniejszych wątków badań podejmowanych w zakresie SWMPC jest analiza zachowań (obejmująca zagadnienia wyznaczania rozkładów jazdy komunikacji miejskiej, obsady dyżurów itp.) oraz synteza ich struktur (obejmująca zagadnienia wyznaczania struktur systemów gwarantujących ich określone właściwości). Szczególną klasę zagadnień stanowią problemy wzajemnej osiągalności zachowań sprowadzające się do oceny możliwości przechodzenia zachowania systemu klasy SWMPC pomiędzy wybranymi osiągalnymi zachowaniami cyklicznymi. Obejmują one np. zagadnienia związane z sezonową zmianą rozkładów jazdy. Problemy te należą do klasy problemów NP-trudnych.

W tym ujęciu kwestie poruszone w monografii dotyczą:

- modelowania systemów o strukturach regularnych/fraktalnych (tj. strukturach złożonych z powtarzających się fragmentów);

- wyznaczania warunków wystarczających dla wzajemnej osiągalności wybranych zachowań systemu;

- modelowania systemów klasy SWMPC w warunkach niepewności (bazując na algebrze skierowanych liczb rozmytych).

Monografia skierowana jest do badaczy, inżynierów i praktyków z obszarów: optymalizacji dyskretnej, badań operacyjnych, informatyki itp. Może również służyć jako kompendium wiedzy dla profesjonalistów, a także doktorantów zajmujących się zagadnieniami harmonogramowania cyklicznego w informatyce, robotyce, oraz w produkcji i usługach transportowych.

Monografia ta, dostępna na stronie

https://link.springer.com/book/10.1007/978-3-031-40552-5 , stanowi kontynuację wcześniej wydanej monografii w języku polskim pt. „Modele multimodalnych procesów cyklicznych" (Wydawnictwo Uczelniane Politechniki Koszalińskiej).