Text this: Serial failure diagnosis of a distributed processing system by Petri nets.