« January 2018 »
January
MoTuWeThFrSaSu
1234567
891011121314
15161718192021
22232425262728
293031
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