@phdthesis{Deussen2001, author = {Deussen, Peter H.}, title = {Analyse verteilter Systeme mit Hilfe von Prozeßautomaten}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-000000275}, school = {BTU Cottbus - Senftenberg}, year = {2001}, abstract = {Diese Arbeit behandelt einen Ansatz zur Verifikation verteilter Systeme. Zur Beschreibung des Verhaltens solcher Systeme verwenden wir die sog. Semiw{\"o}rter, die eine spezielle Form von pomsets darstellen, sowie Mazurkiewiczspuren. Wir weisen nach, daß jedes nebenl{\"a}ufige System (d. h. ein System, f{\"u}r dessen Aktionen eine Unabh{\"a}ngigkeitsrelation angegeben werden kann) als verteiltes System aufgefaßt werden kann. Wir beschreiben eine endliche Repr{\"a}sentation des Verhaltens nebenl{\"a}ufiger und verteilter Systeme, die auf dem Begriff des Prozeßautomaten beruht, und geben Algorithmen zur Konstruktion derartiger Prozeßautomaten an. Schließlich definieren wir die verteilte, agentenbasierte temporale Logik DCTL. Die Beschreibung eines Modelcheckers f{\"u}r diese Logik, der auf Prozeßautomaten operiert, schließt die Arbeit ab.}, subject = {Verteiltes System; Verifikation; Transitionssystem; Nebenl{\"a}ufigkeit; Halbordnung; Spurtheorie; Verteiltes System; Prozeßautomat; Modellchecking; Verifikation; Petri-Netz}, language = {de} }