For the most recent entries see the Petri Nets Newsletter.

Using Parameterized Timestamp Petri Nets in Automatic Control.

Simon, Carlo; Lautenbach, Kurt; Hanisch, Hans-Michael; Thieme, Jan

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography