Model-Based Validation of Business Processes: Case Study of Logistic Sector

A company or organization has the ultimate goal to achieve their target that it requires a business strategy to manage the process in a company running properly. Business process is the knowledge that becomes a key of asset for the organization that must be maintained by reason of the accuracy in designing business processes to maintain the smooth running of an activity synergistically. Workflow is a representation of a business process consist of a set of activities that are structured to be related to each other so as to produce useful result for the company. But still business processes cannot be said to be correct and allows failure in providing the functions modeled for it. Therefore, the business process that is modeled in graphic notation needs semantic validation to prove the suitability and accuracy of the model according to the business strategy. The purpose of this study is to introduce validation for business processes by modeling business processes to the Petri net supported by analytical tool called WoPeD. which can show defined workflow have consistently meets the specified requirements. According to the theme of the conference, Petri net is a method like artificial intelligence in helping to solve problems that occur in business processes to be able to develop correspond to business needs so that it supports the logistics sector in order to compete in the midst of further business competition.