Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Publications

Konsistenzprüfung von ProC/B-Modellen zur Vorbereitung einer simulativen Analyse

Jan Kriege

Diplomarbeit, Universität Dortmund, Lehrstuhl Informatik IV, Dortmund, 2006.

 

Abstract

Viele Modelle, die logistische Netze abbilden, verfügen über unerwünschte Modelleigenschaften, die durch die Synchronisation unterschiedlicher Prozesse hervorgerufen werden und nicht-ergodisches Verhalten des Modells verursachen können. Diese Situationen sind durch Simulation nur schwer zu erkennen.
In dieser Diplomarbeit wird ein Verfahren auf Basis von Petri-Netzen vorgestellt, um bereits vor der Simulation derartige Modelle erkennen und die betroffenen Modellteile identifizieren zu können. Weiterhin werden Methoden beschrieben, um die Korrektur von Modellierungsfehlern zu erleichtern.
Die beschriebenen Verfahren werden implementiert und ihre Tauglichkeit anhand von Beispielmodellen demonstriert.

 

BibTeX
@MastersThesis{Kri06, 
	 author = {Jan Kriege}, 
	 title = {{Konsistenzpr{\"u}fung von ProC/B-Modellen zur 
		 Vorbereitung einer simulativen Analyse}}, 
	 school = {Universit{\"a}t Dortmund, Lehrstuhl Informatik IV}, 
	 year = {2006} 
 }

 

Links