Abstract

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.

Keywords

MSC

93-C65, 93-C30

Cite this article

@article{cai-4090,
  author  = {František Čapkovič},
  title   = {Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism -- Part 1},
  journal = {Computing and Informatics},
  volume  = {37},
  number  = {5},
  pages   = {1258--1292},
  year    = {2018},
  issn    = {1335-9150},
  doi     = {10.4149/cai_2018_5_1258}
}
Download .bib