java -cp .:lib/petrinetsemantics_updated_1.2.jar:lib/simplepdlsemantics_updated_1.2.jar:/home/jcb/workspace/gitexperiment/jtom2/src/dist/lib/tom-runtime-full.jar:/home/jcb/workspace/gitexperiment/jtom2/src/distlib/tom-compiler-full.jar:/home/jcb/workspace/ipp/work/lib/jgll.jar:/home/jcb/workspace/gitexperiment/jtom2/src/dist/lib/tools/org.eclipse.emf.common_2.5.0.v200906151043.jar:/home/jcb/workspace/gitexperiment/jtom2/src/dist/lib/tools/org.eclipse.emf.ecore_2.5.0.v200906151043.jar:/home/jcb/workspace/gitexperiment/jtom2/src/dist/lib/tools/org.eclipse.emf.ecore.xmi_2.5.0.v200906151043.jar:. SimplePDLToPetriNet Starting... No model instance given in argument. Using default hardcoded model. Result tr root_start root_ready*1 --> root_running*1 A_ready*1 B_ready*1 tr root_finish root_running*1 A_finished?1 B_finished?1 --> root_finished*1 tr child_start child_ready*1 --> child_running*1 C_ready*1 D_ready*1 tr child_finish child_running*1 C_finished?1 D_finished?1 --> child_finished*1 tr B_start B_ready*1 A_started?1 --> B_started*1 B_running*1 child_ready*1 tr B_finish B_running*1 child_finished?1 --> B_finished*1 tr A_start A_ready*1 --> A_started*1 A_running*1 tr A_finish A_running*1 --> A_finished*1 tr C_start C_ready*1 --> C_started*1 C_running*1 tr C_finish C_running*1 --> C_finished*1 tr D_start D_ready*1 --> D_started*1 D_running*1 tr D_finish D_running*1 C_started?1 --> D_finished*1 pl root_ready 1 pl child_ready 1 pl A_ready 1 pl B_ready 1 pl C_ready 1 pl D_ready 1