For the most recent entries see the
Petri Nets Newsletter.
Ein Ansatz zur Verifikation sprachlich spezifizierter Protokolle mittels Petri-Netzen.
Heiner, M.;
König, H.
In:
85, Lokale Rechnernetze 1: Studientexte der TU Dresden 79, pages 89-96.
1985.
In German.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography