Project : Model-Checking für Objekt-Petrinetze

Duration: since 09/2003

Keywords: Objekt-Petrinetze, Model-Checking, Prolog

Objectives: Es werden Möglichkeiten untersucht, Objekt-Petrinetze (OPN) in Prolog-Code zu transformieren und dadurch bekannte Model-Checking-Techniken einzusetzen. Weiterhin werden Analysenverfahren mit den Werkzeugen MAUDE, ProB u.a. verglichen.

Publications:

2004

Berndt Farwer and M. Leuschel.
Model checking object Petri nets in Maude and Prolog.
Technical Report FBI-HH-B-258/04, Fachbereich Informatik, Universität Hamburg, 2004.

(TODO: Farwer (ed.): WASP 2004)

2003

Berndt Farwer and M. Leuschel.
Model checking object Petri nets in Prolog.
Technical Report DSSE-TR-2003-4, Declarative Systems and Software Engineering Group, School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK, 2003.