DIAGNOSABILITY ANALYSIS WITH PETRI NET UNFOLDINGS IN CENTRALISED AND DISTRIBUTED FRAMEWORKS