Korbicz, Józef - red. ; Uciński, Dariusz - red.
A new approach to automated design of adaptive concurrent control software of discrete event systems is presented. An algorithm transforming a given specification of the pipeline-like flowing concurrent processes into a Petri net model of admissible control flows of competing processes is introduced. Models generated guarantee the time-independent and deadlock-free execution of processes. ; Based on the assumption that some of the system shared resources may be substituted by others, e.g. in case of their damage, a fault-tolerant recovery procedure aimed at the reprogramming of Petri net-based control software is provided. This procedure guarantees the fault-tolerant operation of real-time controlled systems. The formal description of modelling procedures is described in details.
Zielona Góra: Uniwersytet Zielonogórski
AMCS, volume 2, number 1 (1992) ; kliknij tutaj, żeby przejść
Biblioteka Uniwersytetu Zielonogórskiego
2021-09-01
2020-07-03
73
https://zbc.uz.zgora.pl/publication/63777
Nazwa wydania | Data |
---|---|
Petri net approach to the synthesis of self-reprogramming control software | 2021-09-01 |
Obuchowicz, Andrzej D'Souza, Kelwyn A. Banaszak, Zbigniew Logemann, Hartmut - red. Townley, Stuart - red.
Kuś, Janusz Banaszak, Zbigniew Korbicz, Józef - red. Cempel, Czesław - red.
Banaszak, Zbigniew Jędrzejek, Krzysztof Caban, Dariusz - red.
Banaszak, Zbigniew Krogh, Bruce H. Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red.
Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red. Uciński, Dariusz - red.
Korbicz, Józef - red. Uciński, Dariusz - red.