For the most recent entries see the Petri Nets Newsletter.

Modellierung verteilter Systeme - Konzeption, formale Spezifikation und Verifikation mit Produktnetzen.

Ochsenschläger, P.; Prinoth, R.

In: Programm Angewandte Informatik: Hrsg. von Paul Schmitz und Norbert Szyperksi, Vieweg Verlag. 1995. In German.


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

Back to the Petri Nets Bibliography