Using Parameterized Timestamp Petri Nets in Automatic Control

Abstract

In the following sections, we describe a method to deal with time critical problems in the field of automatic control of manufacturing systems. The behavior of a technical system is represented by Timestamp Petri Nets. With the aid of a symbolic analysis of such nets we generate a linear optimization problem from a system of inequalities. Their solutions imply time parameters for software controllers which avoid the occurrence of dangerous situations. We show the applicability of the method with a small example where unknown time parameters of a controller have to be determined in order to avoid forbidden states of the controlled system.