Control systems surround people everywhere. Recent years have witnessed
wide development of such systems. This is due to the growing demand for systems that
autonomously control our environment. For example, there are lamps that automatically
turn on at dusk, heating systems that turn offwhen we go to work, and similar ideas that
make our lives easier, cheaper, and more ecological. These so-called smart solutions can
be found in various aspects of human life, such as banking, manufacturing, automotive,
transportation, medical care, process mining, and others.
Keywords: Analysis, Boundedness, Concurrent control system, Cyberphysical system, Embedded system, Petri net, Safeness.
