| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364 |
- 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
|
