Decentralized diagnosis of discrete-event systems using labeled petri nets