You are here: Home Student Projects and … Finished [B.Sc. Project] Petri Net Unfolder

[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