[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.