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