Predicate Transition Net