For the most recent entries see the
Petri Nets Newsletter.
DAWN. Petrinetzmodelle zur Verifikation Verteilter Algorithmen.
Weber, M.;
Walter, R.;
Völzer, H.;
Vesper, T.;
Reisig, W.;
Peuker, S.;
Kindler, E.;
Freiheit, J.;
Desel, J.
Informatik-Bericht, No. 88.
Institut für Informatik, Humboldt-Universität zu Berlin,
November 1997.
In German.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography