Narzędzia help

Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
next last
cannonical link button


Applied Computer Science

Tytuł artykułu

Towards automated synthesis of concurrent control programs

Autorzy Bocewicz, G.  Bzdyra, K.  Banaszak, Z. 
Treść / Zawartość
Warianty tytułu
Języki publikacji EN
EN One of the key problems in the area of automatic synthesis of real-time concurrent control programs is a problem of automated modeling of systems comprising multiple activities or processes that proceed concurrently. In that context, the discrete-event systems framework enabling to predict the modeled objects performance and then to design of assumed quality control program on the basis of the given specification of the processes controlled, plays a crucial role. From that point of view, the Petri nets can be seen as a most widely recognized tool aimed at modeling system’s concurrency. So, the main objective of our contribution is to illustrate the Petri nets based approach from both: IF…THEN… rules system’s behavior specification and its Turing machine like representation points of view.
Słowa kluczowe
EN automated synthesis   automatic modeling   concurrent control programs  
Wydawca Instytut Technologicznych Systemów Informacyjnych. Politechnika Lubelska
Czasopismo Applied Computer Science
Rocznik 2011
Tom Vol. 7, no 2
Strony 7--20
Opis fizyczny Bibliogr. 8 poz., fig., tab.
autor Bocewicz, G.
autor Bzdyra, K.
autor Banaszak, Z.
[1] BANASZAK Z. (Ed.): Modelling and control of FMS. Petri net approach. Wrocław Technical University Press, Wrocław 1991.
[2] BANASZAK Z.: Modeling of manufacturing systems. In: Modern Manufacturing, M.B. Zaremba B. Prasad (Eds) Springer-Verlag, London 1994, pp.253-286.
[3] KARATKIEVICH A.: Dynamic analysis of Petri net-based discrete systems. Springer Verlag, Berlin 2007.
[4] PERK S.: Hierarchical Design of Discrete Event Controllers: An Automated Manufacturing System Case Study
[5] REISIG W., PETRI nets: An Introduction. Springer Verlag, Berlin 1985.
[6] SCHMIDT K., MOOR T., PERK S.: Nonblocking Hierarchical Control of Decentralized Discrete Event Systems. IEEE Transactions on Automatic Control, Vol. 53, No. 10, November 2008, pp. 2252-2265.
[7] VISWANDADHAM N., NARAHARI Y.: Performance modeling of automated manufacturing systems. Prentice Hall, New Jersey 1992
Kolekcja BazTech
Identyfikator YADDA bwmeta1.element.baztech-9b65583a-dc1e-428d-9093-e59cb880da8e