« June 2017 »
June
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
2627282930
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