Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism -- Part 1

Year, pages: 2018, 1258 - 1292

Discrete-Event Systems are discrete in nature, driven by discrete events. Petri Nets are one of the mostly used tools for their modelling and control synthesis. Place/Transitions Petri Nets, Timed Petri Nets, Controlled Petri Nets are suitable when a modelled object is deterministic. When the system model contains uncontrollable/unobservable transitions and unobservable/unmeasurable places or other failures, such kinds of Petri Nets are insufficient for the purpose. In such a case Labelled Petri Nets and/or Interpreted Petri Nets have to be used. Particularities and mutual differences of individual kinds of Petri Nets are pointed out and their applicability to modelling and control of Discrete-Event Systems are described and tested.

Čapkovič, F. 2018. Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism -- Part 1. In Computing and Informatics, vol. 37, no.5, pp. 1258-1292. 1335-9150. DOI: https://doi.org/10.4149/cai_2018_5_1258

Čapkovič, F. (2018). Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism -- Part 1. Computing and Informatics, 37(5), 1258-1292. 1335-9150. DOI: https://doi.org/10.4149/cai_2018_5_1258

Publisher: Ústav informatiky SAV