Hans-Michael Hanisch. Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control. In Marco Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings. Volume 691 of Lecture Notes in Computer Science, pages 282-299, Springer, 1993.
Abstract is missing.