@misc{Banaszak_Zbigniew_Petri,
 author={Banaszak, Zbigniew and Wójcik, Robert and D'Souza, Kelwyn A.},
 howpublished={online},
 publisher={Zielona Góra: Uniwersytet Zielonogórski},
 language={eng},
 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.},
 abstract={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.},
 type={artykuł},
 title={Petri net approach to the synthesis of self-reprogramming control software},
 keywords={sterowanie, sterowanie-teoria, sztuczna inteligencja, matematyka stosowana, informatyka},
}