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
Digital whiteboard: registration
start
1
p1
p2
p3
p4
p5
end
1
age changed
time
bed statusOcc
municipality changed
patient changed
patient ID changed
transfer
normal
normal
normal
normal
normal
normal
normal
normal
normal
normal
normal
normal
time
statusOcc
Repair mode:
none
restrict
extend
Check
DDSA
CG
LOG
Ada is ready.
Top