Report

Frey, G.: Steuerungssynthese und -verifikation mit modularen, hybriden Modellen auf der Basis universeller interpretierter Petri-Netze (UIPN). Reports of the Institute of Automatic Control I9/1999, University of Kaiserslautern, Kaiserslautern, Germany, Dec. 1999.

Frey, G.; Kottke, R.: Datenbankbasierte Kopplung von betriebswirtschaftlicher und technischer Software. Reports of the Institute of Automatic Control I10/1999, University of Kaiserslautern, Kaiserslautern, Germany, Dec. 1999.