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