« March 2017 »
March
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
2728293031
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