Computing Petri Net Languages by Reductions. - Anja Gronewold; Hans Fleischhack (FCT, 1995)