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.
Publié le : 2018-11-21
Classification:
other areas of Computing and Informatics,
Analysing, control synthesis, controlled Petri nets, discrete-event systems, interpreted Petri nets, modelling, labelled Petri nets, place/transition Petri nets, timed Petri nets, uncertainty, unobservable/uncontrollable transitions,
93-C65, 93-C30
@article{cai2018_5_1258,
author = {Franti\v sek \v Capkovi\v c; Institute of Informatics, Slovak Academy of Sciences, Bratislava},
title = {Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism - Part 1},
journal = {Computing and Informatics},
volume = {36},
number = {6},
year = {2018},
language = {en},
url = {http://dml.mathdoc.fr/item/cai2018_5_1258}
}
František Čapkovič; Institute of Informatics, Slovak Academy of Sciences, Bratislava. Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism - Part 1. Computing and Informatics, Tome 36 (2018) no. 6, . http://gdmltest.u-ga.fr/item/cai2018_5_1258/