Now the enumerator can compute the similar events from a given events set, and the eliminator can eliminate the non-solutions to extract the solutions.

Computation Level I: Cycle1 [guard1,2]: P¹0 +adap_Aij= P¹1 -enum< P¹2 >elim- P¹3 =prop_Aij+ P¹4

Computation Level II: Cycle2 [guard2,3]: P²0 +adap_Aij= P²1 -enum< P²2 >elim- P²3 =prop_Aij+ P²4

Computation Level III: Cycle3 [guard3,1]: P³0 +adap_Aij= P³1 -enum< P³2 >conc- P³3 =prop_Aij+ P³4