Coloured Petri Nets Based Diagnosis on Causal Models

Then we show how, given a graph grammar model and an observation for such a grammar, the diagnosis can be obtained by first taking the product of the model and the