Eine auf Petri-Netzen basierende Konstruktions-, Analyse- und (Teil-) Verifikationsmethode zur Modellierungsunterstützung bei der Entwicklung von Informationssystemen.

For the most recent entries see the Petri Nets Newsletter.

TU Berlin, Inst. für Angewandte Informatik, Dissertation, June 1984. In German.

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