"Relabelling LTS for Petri Net Synthesis via Solving Separation Problems."

Uli Schlachter, Harro Wimmel (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics