Petri Nets at Modelling and Control of Discrete-Event Systems with Nondeterminism - Part 2

Authors

  • František Čapkovič Institute of Informatics, Slovak Academy of Sciences, 845 07 Bratislava, Slovakia

DOI:

https://doi.org/10.31577/cai_2019_3_728

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

Abstract

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 [3], 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.

Downloads

Download data is not yet available.

Downloads

Published

2019-08-01

How to Cite

Čapkovič, F. (2019). Petri Nets at Modelling and Control of Discrete-Event Systems with Nondeterminism - Part 2. Computing and Informatics, 38(3), 728–764. https://doi.org/10.31577/cai_2019_3_728