Content uploaded by Marlon Dumas
Author content
All content in this area was uploaded by Marlon Dumas on Oct 01, 2017
Content may be subject to copyright.
Content uploaded by Ingo Weber
Author content
All content in this area was uploaded by Ingo Weber on Jul 03, 2017
Content may be subject to copyright.
Content uploaded by Ingo Weber
Author content
All content in this area was uploaded by Ingo Weber on Dec 14, 2016
Content may be subject to copyright.
1 2
1 2,3
1
{luciano.garcia, marlon.dumas}@ut.ee
2
{alex.ponomarev, ingo.weber}@data61.csiro.au
3
10−8
× ×10−8
0false
255 true
BPMN
process
mode l
Simplified
net with
data
conditions
Solidity
contract
code
Petri net
Data
conditions
A, B, g1. . .
Check application
completeness
Check credit
history
Assess
credit risk
Application
complete?
Pledged
property?
New loan
application
Application
disqualified
Assess
eligibility
Application
assessed
AB
C
D
E
F
GH
Appraise
property
g1
g2
g3
g4
g5
Dummy task to
be added here
τ
S
S
y
P(S,y)
y
M
x M
P(M,y)P(x,M)
x
y1
y2
y1
y2
x
P(G,y1)
P(x,G)
P(G,y2)
P(G,y1)
P(G,y2)
P(x,G)
x
E
E
P(x,E)
T
P(T,y)P(x,T)
yx T
x1
y
P(x1,G)
P(x2,G)
P(G,y)
x2
y
P(G,y)
P(x1,G)
P(x2,G)
x1
x2
y1
y2T
x
P(G,y1)
P(G,y2)
M
T
P(x,G)
M
τ
τ
τ
τ
τ
τ
T1
T0T2
T3
T1
T2
T0T3
p0
p1p2
p3
p4
p5
p6
p7
(P, Q)
[¬P]
[P]
[P∧¬Q]
[P∧Q]
τ
τ
true true
h 7→ i =∅ h i ∅
←
← ∪
∈ 6∈
∧
true
[A, B, g1, g2, g3, E , . . .]
A, true
A B
true
{(A, true),(B, true)}
g1
{(A, true),(B, true),(g1, true)}g1
g2
(true ∧P)P P
[A, B, g1, g2, g3, E , . . .]
E
{(A, true),(B, true),(g1, true),(g2, P ),(g3, P ),(E, P ∧Q)}Q
P Q B E
E
true E
true
τ
τ
{C, D, E , τ}
B P Q B
(P, Q)B
p020
A A
p0p1
∼p1
21
B P
Q2021
τ
τ
τ
B E
τ B
p2
P Q
p1
P
Q
∼
∼
∼
p3P∧Q
p3P∧ ¬Q
∼
B P
E τ E
B Q
E
B p2p3P∧Q
E
25×
0
200
400
600
800
1000
1200
Number of active instances
Blocks since start of experiment
Default
Opt-CF
Opt-Full
0
50
100
150
200
250
Number of transactions
Blocks since start of experiment
Smooth 20 (avg over 20 blocks)
Default
Opt-CF
Opt-Full