Revision 27b1b908807cb87b2841c3836bc20d85b6db1b25

Committed on 03/04/2008 2:25 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Introduce the concept of a sequence of final activities that is executed
when a workflow execution is cancelled. $workflow->finallyNode is a special
type of start node that is activated when a workflow execution is cancelled.
- Make node identifiers deterministic (by sorting the nodes in the node
collector).
- Refactor some tests.