For the most recent entries see the Petri Nets Newsletter.

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

Scheschonk, G.

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.

Back to the Petri Nets Bibliography