renames PetriNet to Petrinet and uses the parser as a resource in Main
[petrinet.git] / src / main / java / de /
drwxr-xr-x   ..
drwxr-xr-x - yasc