For the most recent entries see the Petri Nets Newsletter.

Validierung von Informationssystemen durch Auswertung halbgeordneter Petrinetz-Simulationsläufe.

Desel, Jörg; Oberweis, Andreas

In: 94: Formale Grundlagen für den Entwurf von Informationssystemen, GI-Workshop, Tutzing, Mai 1994 / Lipeck, U.W.; Vossen, G.: Informatik-Berichte der Universität Hannover Nr. 03, pages 132-138. 1994. In German.


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

Back to the Petri Nets Bibliography