Business process modeling is a standard activity in the new technology of many organizations. Any information system needs to exchange data between activities by transit inputs and outputs. Workflow-net with data (WFD-net) has been used to verify the data anomalies such as missing data, lost...