In: Lecture Notes in Control and Information Science (LNCIS) Vol. 279, pages 1-211pp. Springer Verlag, July 2002.
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.
Back to the Petri Nets Bibliography