Package vanted.addon

Class Summary
PetriAddon The Class PetriAddon registers all attributes of the Petri net add-on.
PetriAddonTab The Class PetriAddonTab creates the main tab.
StartVantedWithAddon The Class StartVantedWithAddon.