For the most recent entries see the Petri Nets Newsletter.

Programme zur Netzanalyse und Verifikation von Kommunikationsprotokollen.

Paule, C.; Eckert, H.

Gesellschaft für Mathematik und Datenverarbeitung mbH, St. Augustin, Arbeitspapiere der GMD Nr. 226, 1986. In German.


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

Back to the Petri Nets Bibliography