Modelling a simulation of a Business Process by developing schemas of action and flows with two actors using the BPMN notations.
The project was carried out translating first the bpmn diagram into workflow net and then analyzing the soundness property using softwares such as WoPed and Woflan