CIS 581 Design and Verification of Information Systems

Prof. Dr hab. inz. Boleslaw Mikolajczak

6 problems x 1 pt = 6 pts.

HOMEWORK #2

MANAGEMENT AND ANALYSIS OF WORKFLOWS

Problem 1: Process Modeling and Resource Classification (1 point)

Exercise 3.3, Employment Office; page 95-96, chapter 3 of the textbook

Problem 2: Process Modeling and Resource Classification (1 point)

Exercise 3.4, Have a Nice Flight with CRASH; page 96-97; chapter 3 of the textbook.

Problem 3: Workflow nets and their Invariants (1 point)

Exercise 4.2, Computing place and transition invariants for Petri nets; page 135-136, chapter 4 of the textbook

Problem 4: Verification process definition (1 point)

Exercise 4.3. Reachability graph and verification of process definition; page 138-139, chapter 4 of the textbook

Problem 5: Search for Errors in Process Definition (1 point)

Exercise 4.4. Reachability graph and verification of process definition; page 138-140, chapter 4 of the textbook

Problem 6: Performance analysis of Workflow Nets (1 point)

Exercise 4.7; Performance Measures of Workflow Nets; page 141-142, chapter 4 of the textbook

---