1. Exercise class 2

2. Driving school
A driving school is trying to set up an information system to track the progress of the students training and the deployment of instructors. As a starting point for a formal process model the following description can be used. New students register with the driving school. A registered student takes one or more driving lessons, followed by an examination. Each driving lesson has a beginning and an end. Instructors give driving lessons. The driving school has five instructors. Each driving lesson is followed by either another lesson or an examination. The examination has a beginning and an end and is supervised by a driving examiner. In total there are ten driving examiners. For the outcome of an examination there are three possibilities:     1. The student passes and leaves the driving school.     2. The student fails and takes additional lessons in order to try again.     3. The student fails and gives up.
Model the driving school in terms of a Petri net.

3. Solution

4. Assignment 2
A factory produces bicycles (just one type). The Bill-Of-Materials (BOM) is given in the next figure

5. Suppliers deliver the raw materials
Suppliers deliver the raw materials. First the frame and two pedals are assembled. This takes 20 minutes and is done by a machine of type B. The other two assembly steps are defined in a similar fashion (see BOM). Finally, the end product is delivered after three assembly steps. The factory has 3 machines of type A, and 7 machines of type B. Each of the machines has a capacity 1, i.e., a machine is either free or busy. Model the factory in terms of a Petri net. Make sure to model the states of the machines (busy/free) explicitly and abstract from time.

6. Solution

7. Assignment 3
Insurance company X processes claims which result from traffic accidents with cars where customers of X are involved in. Therefore, it uses the following procedure for the processing of the insurance claims. Every claim, reported by a customer, is registered by an employee of department CD (CD = Car Damages). After the registration of the claim, the insurance claim is classified by a claim handler of rank A or B within CD. There are two categories: simple and complex claims. For simple claims two tasks need to be executed: check insurance and phone garage. These tasks are independent of each other. The complex claims require three tasks to be executed: check insurance, check damage history and phone garage. These tasks need to be executed sequentially in the order specified. Both for the simple and complex claims, the tasks are done by employees of department CD. After executing the two respectively three tasks a decision is made. This decision is made by a claim handler of rank A and has two possible outcomes: OK (positive) or NOK (negative). If the decision is positive, then insurance company X will pay. An employee of the finance department handles the payment. In any event, the insurance company sends a letter to the customer who sent the claim. An employee of the department CD writes this letter.
Model this process in terms of Petri Nets.