Bibliography

(eng): Petri nets are a formal tool for describing processes in a many of important technical and social applications. Their advantage over other related type instruments is very effective modeling of parallelism. This makes it easy to avoid improper behavior process. This article deals with the use of Petri nets for modeling specific type of control of dynamic systems, which reduces improper behavior of these systems. One way to influence the behavior of the system is a suitable feedback that prevents the emergence of adverse conditions. The article presents the partial achievements of our research on loopback control and design supervisors for Petri nets.