Create a WF-net to represent your process using the WoPeD tool. Your model and analysis should be presented from the organisational perspective (i.e., from the finance company and not any single participant or customer). The process does not need to be overly complex but realistic and capt

Assignment Task

Overview

You are required to model and analyse an organisational business process from the Finance domain.

Task Requirements

Process Modelling

Create a WF-net to represent your process using the WoPeD tool. Your model and analysis should be presented from the organisational perspective (i.e., from the finance company and not any single participant or customer). The process does not need to be overly complex but realistic and capture key activities and resources.

• Briefly describe your process, capturing the process flow and the resources/roles involved.
• As our focus is on performing design-time analysis, the process model must use all available constructs (i.e., XOR, AND, loops), include unstructured splits and joins, and as a general rule, contain at least 20 tasks involving at least five resource roles.

Process Verification

Using WoPeD, ensure that your model is correct (sound). Demonstrate your knowledge of the correctness properties by making incorrect/unsound models violating each of the three(3) soundness criteria and show how these errors can be detected using the verification techniques.

• Your submission should only include a verified/sound process model as pnml file.
• Evidence of your testing/verification should be included as part of your written report. The screenshots of unsound models violating each of the three criteria should be included.

Capacity Planning

Based on the resources perspective specified in the process description, propose two(2) realistic capacity planning scenarios (e.g., show the low vs high caseload). Complete the capacity planning analysis using the WoPeD tool and present a discussion of the results and insights in your report.

Quantitative Simulation

Propose two(2) realistic business scenarios which your organisation experiences. To help your organisation plan for the potential impacts of each potential event/change, complete a quantitative simulation using WoPeD. Your report should present results with a discussion/analysis of what these may suggest to improve the performance of your business process.

• If your model is too complex (e.g., includes some unstructured loops), WoPeD may show an error and/or be unable to complete the simulation. You will need to simplify the process model to complete the different simulations.
• Your report should explain the simplifications made and briefly consider the impact of each.