In: Valk, R.: GI - 18. Jahrestagung, Vernetzte und komplexe Informatik-Systeme, Proceedings, pages 535-547. Berlin, Heidelberg, New York: Springer-Verlag, 1988. In German.
Abstract: Konversationssysteme sind Gruppenunterstützungssysteme, die Kooperation als formalisiertes Sprachspiel auffassen. Es wird bewiesen, daÑ Konversationen eines bestimmten Typs nie stecken bleiben können und immer in konsistenter Weise enden. Dazu wird der Konversationstyp als höheres Petrinetz modelliert, und die erwünschten Eigenschaften werden durch vollständige Simulation des Netzes bewiesen.