pws pjwstk hw cis581 hw#2


CIS 581 Design and Verification of Information Systems

Dr. 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



Wyszukiwarka

Podobne podstrony:
pws pjwstk hw cis581 hw#4
pws pjwstk hw cis581 hw#3
pws pjwstk hw cis581 hw#1
pws pjwstk projects cis581 project#1
pws pjwstk projects cis581 project#2
pws pjwstk lectures workflow PN
2006 cis581 hw#1
2006 cis581 hw#4
2006 cis581 hw#3
2006 cis581 hw#2
Akumulator do?UN AK414 HW AK414 HW
Hydrant z wezem polsztywnym HW DN 25W UN LIGT SLIM
hw wykłady Wykład 1
hw fonetyka
HW, wypracowania
HW Wolny Legion Indyjski SS
HW Szlagor T Pancerna pięść
HW pojecia, Nauka, DSW

więcej podobnych podstron