Arbeitsgruppe für innovative Petri-Netz-Theorie, Prof. Dr. Kurt Lautenbach Universität Koblenz-Landau, Campus Koblenz, Fachbereich Informatik, Institut für Softwaretechnik Postfach 201 602 56016 Koblenz Telefon: +49 (0)261/287-2720 Telefax: +49 (0)261/287-2721 eMail: laut@uni-koblenz.de www: http://www.uni-koblenz.de/ag-pn/