Wireless sensors system for the chillers fault diagnostic based on characteristic Petri net modelling.