* +-----+
*/
public void testWhileLoop() {
ActivityInstanceVerification verifier = new ActivityInstanceVerification();
TransitionInstanceVerifyer transitionVerifier = new TransitionInstanceVerifyer();
PvmProcessDefinition processDefinition = new ProcessDefinitionBuilder()
.createActivity("start")
.initial()
.behavior(new Automatic())