Petrinetz-Editor-Plug-In für Eclipse