Fault Detection by Backwards Analysis in Coloured Workflow Nets.

Vasilii Ganishev, Olga Fengler, Wolfgang Fengler

Browse the full SIMULTECH paper archive.