CIS 581 Design and Verification of Information Systems

Prof. Dr hab. inz. Boleslaw Mikolajczak

4 problems x 1 pt = 4 pts.

HOMEWORK #1

MODELING WORKFLOWS

Problem 1: Modeling a factory in terms of Petri nets (1 point)

Exercise 2.6 Bicycle Factory; page 70-71 of the textbook

Problem 2: Modeling a process in insurance company (1 point)

Exercise 2.7 Modeling of Insurance Company; page 71-72 of the textbook

Problem 3: Modeling a process of complaints handling (1 point)

Exercise 2.8 Modeling of Complaints Handling; page 72-73 of the textbook

Problem 4: Modeling a process of `let's have a party' (1 point)

Exercise 2.9 Modeling of `Let's have a party' process; page 73-74 of the textbook

---