BPRN: A Formal Model of Resources Consumption in Business Process Based on an Extension of Petri-Net and Workflow model

In world of industry, the deployment and execution of business processes can be a very costly investment. The problem is in extreme situations; companies need additional resources to ensure the smooth running of business process. Moreover, they need to know exactly when a business process needs more resources, to be able to use cloud resources.In this work, we have defined a formal model that supports the specification and analysis of company requirements in resources and allows simulating many parallel executions of business process. To detect situations that can be caused by the lack of resources in business process execution.