They are great! My bachelor thesis was implementing an algorithm to generate minimal petri nets based from an infinite partial language, described in something

They are great! My bachelor thesis was implementing an algorithm to generate minimal petri nets based from an infinite partial language, described in something like a basic Regex.