Font Size: 

A business process simulation is used to assess the cost and time of running a process and to identify potential problems with resources. This article presents how Business Process Management Notation (BPMN) models can be reviewed before simulation and simulated using logic programming. It is also shown how Prolog describes a business process model and its properties (semantic correctness and modeling style). For this purpose, BPMN model of e-payment process is shown, described and simulated using Prolog and commercial tool for business process modeling. Using this specific model we show how to get the same simulation results of total cost of process execution with logic programming or specialized commercial tools like IBM WebSphere Business Modeler. We benefit using Prolog for BPMN simulation, because we do not have to buy expensive commercial software and have complete control over simulation execution.