In: Ajmone Marsan, M.: Lecture Notes in Computer Science, Vol. 691; Application and Theory of Petri Nets 1993, Proceedings 14th International Conference, Chicago, Illinois, USA, pages 282-299. Springer-Verlag, 1993.
Abstract: The paper presents an analysis method for Place/Transition nets with timing of arcs directing from places to transitions. Based on this class of timed nets, the corresponding state graph, called dynamic graph, and a method to compute the state graph are defined. By means of the dynamic graph, the complete dynamic behaviour of the modeled system can be studied, objective functions can be formulated, and optimal control strategies can be computed. The concept is applied to two different problems of supervisory control of batch plants in the chemical industry.