For the most recent entries see the
Petri Nets Newsletter.
Eckert, H.
-
Burkhard, H.-J.;
Eckert, H.;
Prinoth, R.;
Raubold, E.:
A Model of Cooperation and its Specification with Nets.
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.
-
Orth, W.;
Eckert, H.;
Paule, C.:
NET. A Family of Languages - Based on Nets - Designed for Specification of Communication Systems.
1986.
-
Paule, C.;
Eckert, H.:
Programme zur Netzanalyse und Verifikation von Kommunikationsprotokollen.
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.
-
Eckert, H.;
Prinoth, R.:
Grundsätzliche Betrachtungen und Bemerkungen zu den Produktnetzen.
1985.
-
Paule, Christa;
Eckert, Hans:
Das Netzsimulationssystem NESSY: Der Netzsimulationsmodul NESSY-S.
1985.
-
Eckert, H.;
Prinoth, R.:
Verification of Protocols against the Corresponding Service.
1984.
-
Eckert, H.;
Prinoth, R.:
Produktnetze - Definition eines PROSIT-Beschreibungsmittels.
1984.
-
Eckert, H.;
Prinoth, R.:
A Computation-Systems Based Method for Automated Proving of Protocols against Services.
1983.
-
Burkhard, H.-J.;
Eckert, H.;
Prinoth, R.:
Synchronisation in kommunizierenden Systemen - Modellierung n-seitiger Synchronisation auf der Grundlage zweiseitiger Synchronisation.
1983.
-
Eckert, Hans;
Prinoth, Rainer:
Erfahrungen mit Netzen auf dem Gebiet der Verifikation von Kommunikationsprotokollen.
1983.
-
Eckert, H.;
Prinoth, R.:
Automated Prooving of Communication Protocols against Communication Services.
1982.
-
Eckert, H.;
Prinoth, R.:
Untersuchung einiger Kommunikationsprotokolle unter dem Aspekt der Synchronisation auf gestörten Kanälen.
1980.
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