User: Guest  Login
Original title:
Theorie und Praxis der Netzentfaltungen als Basis für die Verifikation nebenläufiger Systeme 
Translated title:
Theory and practice of net unfoldings as a basis for the verification of concurrent systems 
Year:
2000 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Esparza Estaun, Francisco Javier (Prof. Dr.) 
Referee:
Esparza Estaun, Francisco Javier (Prof. Dr.); Vogler, Walter (Prof. Dr.) 
Format:
Text 
Language:
de 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Petrinetze; Parallele Systeme; Nebenläufigkeit; Verifikation; Zustandsraum-Explosion; Netzentfaltung; Modellierung 
Controlled terms:
Verteiltes System; Nebenläfigkeit; Petri-Netz; Entfaltung  
TUM classification:
DAT 516d 
Abstract:
Bei der Untersuchung von Zustandsräumen nebenläufiger und reaktiver Systeme tritt das bekannte Problem der Zustandsraum-Explosion zutage. Zahlreiche Methoden sind in den letzten Jahren entwickelt und in Werkzeugen implementiert worden, um über geschickte Codierungen des Zustandsraumes dennoch eine Exploration zu ermöglichen, z.B. BDDs, Kronecker-Algebren, das Ausnutzen von Symmetrien oder Netzentfaltungen. Die (maximale) Entfaltung eines beschränkten Petri-Netzes ist eine halb- geordnete Darstel...    »
 
Translated abstract:
The investigation of state spaces of concurrent and reactive systems raises the known problem of the state space explosion. In recent years, many methods were developed and have been implemented in various tools which make it possible to explore the state space, for example, BDDs, Kronecker algebras, usage of symmetries, or net unfoldings. The (maximal) unfolding of a bounded Petri net is a partially ordered representation that describes all possible executions of a system in one single object....    »
 
Publication :
Universitätsbibliothek der TU München 
Oral examination:
09.06.2000 
File size:
1061461 bytes 
Pages:
224 
Last change:
11.03.2010