Diagnosing workflow processes using Woflan - IPD

(2005) propose an approach based on timed Petri nets and mode esti- ... and FALSE), can be a test on the token value, always satisfied (), or ...

Diagnosis of hybrid systems using Hybrid Particle Petri nets: theory ...