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