Detection of Temporal Anomalies for Partially Observed Timed PNs

Table 1

Deterministic and random variables introduced to evaluate .

/	Measured:	Unmeasured: is a RV
Measured:	Type 1: is a deterministic variable; is measured	Type 3: is a new RV
Unmeasured: is a RV	Type 2: is a RV that depends on a RV of type 3	Type 3: is a new RV