Ada - the arithmetic DDS analyzer
checking data-aware soundness of Data Petri Nets
Ada
Help
Load example
Livelock example
Digital whiteboard: discharge
Digital whiteboard: registration
Sepsis mined
simple auction with reset
Digital whiteboard: transfer
simple auction
Package handling (modified)
Road-Fine Management (decision mining)
Package handling
Road-Fine Management
Sepsis normative
Hospital billing
Road-Fine Management (normative)
simple auction with threshold
Model
Sepsis mined
p100
p101
p13
p19
p2
end
p22
p24
p3
p31
p32
p33
p34
p35
p37
p38
p4
p5
p700
p702
p800
p802
source
1
sink
1
LacticAcid
lacticAcid
t100
t25
t5
t6
ER Sepsis Triage
t2
Transfer NC
ER Triage
Inv1
LacticAcid
Admission IC
Release C
Release B
t22
Release E
Release D
Release A
t800
Leucocytes
t38
Return ER
IV Liquid
IV Antibiotics
t9
t700
CRP
Admission NC
Admission NC
Admission IC
t12
t703
CRP
Leucocytes
t803
ER Registration
hypotensie
diagnosticLacticAcid
sirsCriteriaTwo
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
1
normal
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
hypotensie
diagnosticLacticAcid
sirsCriteriaTwo
lacticAcid
Repair mode:
none
restrict
extend
Check
DDSA
CG
LOG
Ada is ready.
Top