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