For the most recent entries see the Petri Nets Newsletter.

Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen. (Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets.).

Burkhard, H.-J.; Eckert, H.; Prinoth, R.

In: Heger, D.; Krüger, G.; Spaniol, O.; Zorn, W.: Informatik-Fachberichte 95: Kommunikation in verteilten Systemen I, pages 610-645. Springer-Verlag, 1985. In German.

Also in: Yemini, Y.; Strom, R.; Yemini, S.: Protocol Specification, Testing and Verification IV, pages 165-192. Elsevier Science Publishers B. V. (North-Holland), IFIP, 1985. English translation.

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

Back to the Petri Nets Bibliography