Research Article
Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding
Algorithm 12
Determining the intermediate predicate Pred.
function PRED | Input: Two taskID and , a bigraph | Output: A boolean value | begin | RetrieveAllEvents; | RetrieveAllEvents; | return |
|