« April 2018 »
April
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
30
Uni-Logo
You are here: Home Teaching Student Projects and Thesis Topics Finished [B.Sc. Project] Petri Net Unfolder
Document Actions

[B.Sc. Project] Petri Net Unfolder

Course type Bachelor-Project, Bachelor Thesis or Master Thesis
Instructors Matthias Heizmann
Credits 6
Course Catalog Bachelor-Projekt am Lehrstuhl für Softwaretechnik

Use a Petri net unfolding algorithm to design an emptiness test for the Petri net acceptors in our automata library.

Literature

Javier Esparza, Stefan Römer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm. TACAS 1996:87-106

Personal tools