Research Article
Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding
Algorithm 9
Determining the basic predicate concur.
function CONCUR | Input: Two taskID and , a process model | Output: A boolean value | begin | RetrieveBigraphs; | return (RetrieveAllEvents RetrieveAllEvents | RetrieveAllEvents RetrieveAllEvents | NoDirectedPath NoDirectedPath)) |
|