A new protocol for the decentralized diagnosis of labeled Petri nets