Autor:

Banaszak, Zbigniew ; Wójcik, Robert ; D'Souza, Kelwyn A.

Współtwórca:

Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.

Tytuł:

Petri net approach to the synthesis of self-reprogramming control software

Tytuł publikacji grupowej:

AMCS, volume 2 (1992)

Temat i słowa kluczowe:

sterowanie ; sterowanie-teoria ; sztuczna inteligencja ; matematyka stosowana ; informatyka

Abstract:

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.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Data wydania:

1992

Typ zasobu:

artykuł

Strony:

65-86

Źródło:

AMCS, volume 2, number 1 (1992) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Licencja CC BY 4.0:

kliknij tutaj, żeby przejść

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego