Modeling and Control of Discrete-Event Systems with Partial Non-Determinism using Petri Nets
František Čapkovič · Acta Polytechnica Hungarica · 2020
Discrete-Event Systems (DES) are systems that are discrete in nature.A next state of DES depends on the actual state and on the occurrence of a discrete event.DES are often modeled and controlled by Petri Nets (PN) of different kinds (place/transition PN, timed PN, etc.).However, not always real DES, are purely deterministic.In such cases, the PN-based model contains some uncontrollable and/or unobservable transitions or unmeasurable/unobservable places.In order to control DES with the partial nondeterminism, special kinds of PN and control methods/procedures have to be used.That's just it -applications of Interpreted PN (IPN) and Labeled PN (LbPN) for modeling analyzing and control of DES are investigated here.