This is the output from SimplePDLToPetriNet prototypes (quarteft repository).
The compilation and execution of SimplePDLToPetriNet.t use case should print
the last block of this output (beginning at "After Resolve", line 46):


Starting...

No model instance given in argument. Using default hardcoded model.

Before Resolve
tr root_start root_ready*1  --> root_running*1 
tr root_finish root_running*1  --> root_finished*1 
tr child_start child_ready*1  --> child_running*1 
tr child_finish child_running*1  --> child_finished*1 
tr resolve t_start
tr resolve t_finish
tr A_start A_ready*1  --> A_started*1 A_running*1 
tr A_finish A_running*1  --> A_finished*1 
tr process resolve t_start
tr process resolve t_finish
tr B_start B_ready*1  --> B_started*1 B_running*1 
tr B_finish B_running*1  --> B_finished*1 
tr process resolve t_start
tr process resolve t_finish
tr C_start C_ready*1  --> C_started*1 C_running*1 
tr C_finish C_running*1  --> C_finished*1 
tr process resolve t_start
tr process resolve t_finish
tr D_start D_ready*1  --> D_started*1 D_running*1 
tr D_finish D_running*1  --> D_finished*1 
tr process resolve t_start
tr process resolve t_finish
tr resolve t_finish
tr resolve t_start
pl root_ready 1
pl child_ready 1
pl A_ready 1
pl B_ready 1
pl C_ready 1
pl D_ready 1
pl resolve p_started
pl resolve p_started

Test strategy resolve

After Resolve
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