A predicate that appears in specification or code can implement a condition. In this paper, we propose a Predicate-Driven Petri Net(PDPN), which can be applied to analyze and test the behavior for the interaction between predicate operators and predicate individuals or variables or expressions. With the help of the behavior function, the dynamic properties of a PDPN and an iterative partition approach for PDPNs were investigated. A generalized BOR-MI strategy called as Meaning Match Search approach (MeMS) is developed to generate a minimal MeMS-constraint set. Using the presented algorithm, on...
