Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process...
Transcript of Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process...
![Page 1: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/1.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
PN-1
Model Converter: What you have
to know about Petri Nets and
BPMN models
Fabrizio Maria Maggi
Based on lecture material by Marlon Dumas (University of Tartu,
Estonia) and Wil van der Aalst
(Eindhoven University of Technology, The Netherlands
http://www,workflowcourse.com)
![Page 2: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/2.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Business Process
Lifecycle
![Page 3: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/3.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
1. Introduction
2. Process Identification
3. Essential Process Modeling
4. Advanced Process Modeling
5. Process Discovery
6. Qualitative Process Analysis
7. Quantitative Process Analysis
8. Process Redesign
9. Process Automation
10.Process Intelligence
![Page 4: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/4.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Business Process
Lifecycle
![Page 5: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/5.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
PN-5
Elements
(name)
(name)
place
transition
arc (directed connection)
token
t34 t43
t23 t32
t12 t21
t01 t10
p4
p3
p2
p1
p0
place
transition
token
![Page 6: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/6.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
PN-6
Rules
• Connections are directed.
• No connections between two places or two transitions.
• Places may hold zero or more tokens.
• We consider the case of at most one arc between two
nodes.
wait enter before make_picture after leave gone
free
occupied
![Page 7: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/7.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
PN-7
Marking and Enabled Transition
• The state of a net is a distribution of tokens over places (also
referred to as marking).
• A transition is enabled if each of its input places contains at least
one token.
wait enter before make_picture after leave gone
free
occupied
enabled Not
enabled
Not
enabled
![Page 8: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/8.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
PN-8
Firing
• An enabled transition can fire (i.e., it occurs).
• When it fires it consumes a token from each input place and
produces a token for each output place.
• Which transitions are enabled now?
wait enter before make_picture after leave gone
free
occupied
fired
![Page 9: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/9.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
PN-9
“Token Game”
• In the new state, make_picture is enabled. It will fire, etc.
wait enter before make_picture after leave gone
free
occupied
![Page 10: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/10.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
PN-10
Order-to-cash process model
![Page 11: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/11.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
1. Introduction
2. Process Identification
3. Essential Process Modeling
4. Advanced Process Modeling
5. Process Discovery
6. Qualitative Process Analysis
7. Quantitative Process Analysis
8. Process Redesign
9. Process Automation
10.Process Intelligence
![Page 12: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/12.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Business Process Model and Notation (BPMN)
• OMG standard (nowadays BPMN 2.0)
• Supported by numerous tools: bpmn.org lists over 70 tools
![Page 13: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/13.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
BPMN from 10,000 miles'
A BPMN process model is a graph consisting of four
types of core elements:
activity gatewayevent sequence
flow
start end
![Page 14: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/14.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
A start event triggers a new process instance
by generating a token that traverses the
sequence flow (“tokens source”)
An end event signals that a process instance has
completed with a given outcome by consuming
a token (“tokens sink”)
A little bit more on events'
14
start
event
end
event
![Page 15: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/15.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
XOR-split � takes one outgoing branch
XOR-join � proceeds when one incoming branch
has completed
A little more on gateways: XOR Gateway
condition
¬ condition
15
An XOR Gateway captures decision points (XOR-split) and
points where alternative flows are merged (XOR-join)
![Page 16: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/16.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Example: XOR Gateway
5
![Page 17: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/17.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
A little more on gateways: AND Gateway
17
An AND Gateway provides a mechanism to create and
synchronize “parallel” flows.
AND-split � takes all outgoing branches
AND-join � proceeds when all incoming
branches have completed
![Page 18: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/18.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
18
Example: AND Gateway
![Page 19: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/19.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
19
![Page 20: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/20.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
20
![Page 21: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/21.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
21
![Page 22: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/22.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
22
![Page 23: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/23.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
23
![Page 24: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/24.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
24
![Page 25: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/25.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
25
![Page 26: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/26.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
26
![Page 27: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/27.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
27
![Page 28: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/28.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
28
![Page 29: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/29.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
29
![Page 30: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/30.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
30
![Page 31: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/31.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
31
![Page 32: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/32.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
32
![Page 33: Model Converter: What you have to know about Petri Nets and … · 2016-09-13 · Business Process Lifecycle (c) Wil van ... Introduction 2. Process Identification 3. Essential Process](https://reader034.fdocuments.us/reader034/viewer/2022050311/5f735268111b0a6c4e392ab1/html5/thumbnails/33.jpg)
(c) Wil van der Aalst, Eindhoven University of Technology
Order-to-cash process model
33