Warunki kompozycji systemów współbieżnych procesów cyklicznych

Przedmiotem rozważań są Systemy Współbieżnych Procesów Cyklicznych (SWPC), w których procesy współpracują w trybie wzajemnego wykluczania. Prezentowana metoda kompozycji elementów zbioru SWPC gwarantuje zachowanie, w nowopowstającym systemie należącym do klasy SWPC, określonych własności, np.: cykliczności systemu, niezmiennego cyklu jego podsystemów składowych, itp. Przedstawiono warunki wystarczające dla istnienia tego typu operacji kompozycji. Zaproponowana operacja umożliwia budowę struktur algebraicznych wykorzystywanych w procesie syntezy systemów klasy SWPC zorientowanych na zarządzanie przepływem danych w sieciach komputerowych.

---

In the paper a class of systems composed of a set of cyclic concurrent processes (SCCPs) synchronized due to a mutual exclusion protocol is considered. Its contribution is to presented conditions sufficient for coupling elements from the class of SCCPs. A newly obtained system treated as result of such two systems composition also belongs to SCCPs. Moreover, periods of component processes are preserved. The composition introduced provides an algebraic framework allowing to design decision support systems aimed at computer network management.