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

• Autorzy: Majdzik P. , Banaszak Z.

Warianty tytułu

EN

Conditions for systems of cyclic concurrent processes composition

• Konferencja: XV Krajowa Konferencja Automatyzacji Procesów Dyskretnych, Zakopane, 20-23 września 2006r.
• Języki publikacji: PL

Abstrakty

PL

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.

EN

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.

Słowa kluczowe

PL

proces cykliczny; proces współbieżny; SWPC; kompozycja systemów; sieć komputerowa; zarządzanie przepływem danych

EN

cyclic process; concurrent process; system composition; computer network

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Zeszyty Naukowe. Automatyka / Politechnika Śląska
• Rocznik: 2006
• Tom: z. 143
• Strony: 91--98
• Opis fizyczny: Bibliogr. 6 poz.

Twórcy

autor

Majdzik P.

autor

Banaszak Z.

• Instytut Sterowania i Systemów Informatycznych Uniwersytetu Zielonogórskiego, 65-516 Zielona Góra, ul. prof. Z. Szafrana 2, tel.: [phone],

Bibliografia

• 1. Abrams M., Doraswamy N., Mathur A.: Chitra: Visual analysis of parallel and distributed programs in the time, event, and frequency domains. IEEE Trans, on Parallel and Distrib. Syst, Vol.3, No.6, 1992, p. 672-685.
• 2. Baccelli F.L. et al.: Synchronization and linearity An algebra for discrete event systems. John Wiley & Sons, N.Y., Toronto 1992.
• 3. Polak M., Majdzik P., Banaszak Z.A., Wójcik R: The performance evaluation tool for automated prototyping of concurrent cyclic processes. Fundamenta Informaticae, Vol.60, No. 1-4, 2004, p. 269-289.
• 4. Polak M., Wójcik R., Majdzik P., Banaszak Z.: Prototyping of distributed control procedures in concurrent cyclic processes systems. 9th IEEE International Conference on Emerging Technologies and Factory Automation, 16-19 September 2003, Lisbon, Portugal, Vol.2, p. 261-268.
• 5. Majdzik P., Wójcik R, Banaszak Z.: An automatic synthesis of performance models for systems of concurrent cyclic processes. Proc. of the 15th Int. Conference on System Science, Poland, Wrocław 2004, p. 281-292.
• 6. Banaszak Z., Krogh B.: Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans, on Robot. Automat., Vol. 6, No.6, Dec. 1990, p. 724-734.