Synthese von Petri-Netzen und objektorientierten Konzepten