In: Computing and Informatics, vol. 38, no. 3
František Čapkovič
Details:
Year, pages: 2020, 728 - 764
Language: eng
Keywords:
Analyzing, control synthesis, discrete-event systems, error recovery, interpreted Petri nets, modelling, labelled Petri nets, place/transition Petri nets, uncertainty, uncontrollable transitions, unmeasurable places, unobservable transitions
About article:
Discrete-Event Systems (DES) are discrete in nature. Petri Nets (PN) are one of the most widespread tools for DES modelling, analyzing and control. Different kinds of PN can be used for such purposes. Some of them were described in \citeCapkovic_5, being the first part of this paper. Here, the applicability of Labelled PN (LbPN) and Interpreted PN (IPN) for modelling and control of nondeterministic DES, especially with uncontrollable and/or unobservable transitions in the models, will be pointed out. Moreover, another kinds of nondeterminism in DES (errors, failures) will be modelled, and the possibilities of the error recovery of failed system will be presented.
How to cite:
ISO 690:
Čapkovič, F. 2020. Petri Nets at Modelling and Control of Discrete-Event Systems with Nondeterminism -- Part 2. In Computing and Informatics, vol. 38, no.3, pp. 728-764. 1335-9150. DOI: https://doi.org/10.31577/cai_2019_3_728
APA:
Čapkovič, F. (2020). Petri Nets at Modelling and Control of Discrete-Event Systems with Nondeterminism -- Part 2. Computing and Informatics, 38(3), 728-764. 1335-9150. DOI: https://doi.org/10.31577/cai_2019_3_728
About edition:
Publisher: Ústav informatiky SAV
Published: 9. 3. 2020