For the most recent entries see the
Petri Nets Newsletter.
Burkhard, H.-J.
-
Burkhard, H.-J.;
Ochsenschläger, P.;
Prinoth, R.:
Product Nets: A Formal Description Technique for Cooperating Systems.
1989.
-
Burkhard, H.-J.;
Prinoth, R.:
Modellierung von Zeitaspekten mit Produktnetzen.
1988.
-
Burkhard, H.-J.;
Eckert, H.;
Prinoth, R.;
Raubold, E.:
A Model of Cooperation and its Specification with Nets.
1987.
-
Burkhard, H.-J.;
Ochsenschläger, P.;
Prinoth, R.:
Produktnetze: Ein formales Beschreibungsmittel für kooperierende Systeme.
1987.
-
Burkhard, H.-J.;
Eckert, H.;
Giessler, A.:
Testing of Protocol Implementations - A Systematic Approach to Derivation of Test Sequences from Global Protocol Specifications.
1986.
-
Burkhard, H.-J.;
Eckert, H.;
Prinoth, R.:
Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL Implementation Specifications from Global Protocol Specifications.
1986.
-
Burkhard, H.-J.;
Eckert, H.;
Prinoth, R.:
Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen. (Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets.).
1985.
-
Baumgarten, B.;
Burkhard, H.-J.;
Ochsenschläger, P.;
Prinoth, R.:
The Signing of a Contract - a Tree-Structured Application Modelled with Petri Net Building Blocks.
1985.
-
Burkhard, H.-J.;
Eckert, H.;
Prinoth, R.:
Synchronisation in kommunizierenden Systemen - Modellierung n-seitiger Synchronisation auf der Grundlage zweiseitiger Synchronisation.
1983.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography