Zusammenfassung
Hinter dem Begriff „Verteilte Systeme“ verbergen sich heutzutage so unterschiedliche Konzepte wie Parallelrechner, Rechnernetze, Telekooperation und Multimedienanwendungen über einem einheitlichen Kommunikations- und Verteilnetz. Hauptanwendungsfeld des in diesem Beitrag geschilderten Angangs ist die Telekooperation; sie ist gekennzeichnet u.a. durch lokale, autonome Systeme, die unter Inanspruchnahme von Kommunikationsdienstleistungen gemeinsame Kooperationsziele verfolgen.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
T. Agerwala : A Complete Model for Representing the Coordination of Asynchronous Processes Hopkins Computer Research Report 32 (1974)
B. Baumgarten, A. Giessler, C. Paule: Testgenerierung mit Produktnetzen Algorithus, Implementing und Benutzeranleitung Arbeitspapiere der GMD 605 (1991)
H.J. Burkhardt, P. Ochsenschlager, R. Prinoth : Product Nets A Formal Description Technique for Cooperating Systems GMD — Studien 165 (1989)
CCITT Recommendation Q.931: ISDN user-network interface layer 3 specification for basic call control
M. Hack : Petri Net Languages Laboratory for Computer Science MIT T.R.159 (1976)
C. Engel : Entwurf, Entwicklung und Implementierung von Hochleistungskommunikationsprotokollen auf einer parallelen Controller-Architektur mittels Petri-Netzen KiVS ′93 München
ISO International Standard 8348 : OSI network service definition
W.Klug : OSI-Vermittlungsdienst und sein Verhältnis zum ISDN-D-Kanalprotokoll Spezifikation und Analyse mit Produktnetzen Arbeitspapiere der GMD 676 (1992)
U. Nitsche : Erreichbarkeitsanalyse von Produktnetzen Arbeitspapiere der GMD 521 (1991)
P. Ochsenschläger : Projektionen und reduzierte Erreichbarkeitsgraphen Arbeitspapiere der GMD 349 (1988)
P. Ochsenschläger : Modulhomomorphismen Arbeitspapiere der GMD 494 (1990)
P. Ochsenschläger: Die Produktnetzmaschine Petri Net Newsletter 39 (1991) 11–31
P. Ochsenschläger : Modulhomomorphismen II Arbeitspapiere der GMD 597 (1991)
P. Ochsenschläger : Verifikation kooperierender Systeme mittels schlichter Homomorphismen Arbeitspapiere der GMD 688 (1992)
R. Prinoth : Beschreibungsmittel und Konzepte zur Realisierung verteilter Syteme GMD-Studien Nr. 192,1991
R. Prinoth : ISDN in OSI — a Basis for Multimedia Applications vde-Verlag, 1991
R. Prinoth : Product Nets and the OSI Network service: concepts and examples Arbeitspapiere der GMD 694 (1992)
S. Schremmer: ISDN-D-Kanalprotokoll der Schicht 3, Spezifikation und Analyse mit Produktnetzen Arbeitspapiere der GMD 640 (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ochsenschläger, P., Prinoth, R. (1993). Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktnetzen. In: Gerner, N., Hegering, HG., Swoboda, J. (eds) Kommunikation in Verteilten Systemen. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78091-2_34
Download citation
DOI: https://doi.org/10.1007/978-3-642-78091-2_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56482-9
Online ISBN: 978-3-642-78091-2
eBook Packages: Springer Book Archive