Towards automated fault pruning with Petri Nets.

Paolo Maistri, Rgis Leveugle

Browse the full IOLTS paper archive.