Serial failure diagnosis of a distributed processing system by Petri nets. - Katsumata, M.; Kurihara, M.; Ohuchi, A. (Computers & Mathematics with Applications, 1996)