Petri Nets in Design of Control Algorithms
Andrei G. Karatkevich · Studies in systems, decision and control · 2015
The chapter presents an overview of applying the Petri netsPetri net as a model and a way of specificationSpecification of the parallel logical control algorithmsLogical control algorithmparallel. The history of using the Petri nets for representing the structures of the parallel control algorithms is presented. The extensions of the Petri net model applied in the area of logical control are discussed. The Petri net-based programming languages used for programmable logic controllersLogic controller, such as SFCSequential function chart (SFC), GRAFCETGRAFCET or PRALUPRALU, are considered.