• Nie Znaleziono Wyników

HOMEWORK #1MODELING WORKFLOWS

N/A
N/A
Info
Pobierz
Protected

Academic year: 2021

Share "HOMEWORK #1MODELING WORKFLOWS"

Copied!
1
0
0

Ładowanie.... (Zobacz pełny tekst teraz)

Pobierz teraz ( 1 Stron )

Pełen tekst

(1)

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

Cytaty

Pobierz teraz ( DOC - 1 Stron - 19.50 KB )

Powiązane dokumenty

Name: Group 2 Result: 1. (1 point) Let

8 students have neither blond hair nor blue eyes.. How many students have blond hair but do not have

Algorithms Inspired by Petri Nets in Modeling of Complex Biological Systems

Examples of generated Petri nets, sequences of places and transitions obtained during the PN simulation and created PDB files are presented in the thesis.. Those examples

Algorithms Inspired by Petri Nets in Modeling of Complex Biological Systems

The model was created using public domain software SNOOPY [90]. One should note that this program is not appropriate for the analysis of PN networks. Two types

HOMEWORK #2MANAGEMENT AND ANALYSIS OF WORKFLOWS

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

Project #1Modeling and Diagnosis of Workflows using Petri nets in Renew and Woflan environments

d) import Renew workflow files to Woflan and perform diagnosis tests for your workflow models; if results of your diagnosis are not satisfactory then check reasons for

Fill in the gaps [“...”]. 1 question (•) = 1 point; maximum = 12 points.

p = ..., therefore we reject/do not reject the null hypothesis that the row and column variables are independent of each other (mark the right answer).... 10 packets of butter have

Solution of the 1 : −2 resonant center problem in the quadratic case

that the next two focus numbers lie in this ideal.) In such a case one could apply the method of Fran¸coise and Yomdin [3] which allows showing that there are no more than 5

Solution: 1 (2)Exercise 2

[r]