Decentralized diagnosis of Petri nets