Non-intrusive monitoring and disaggregation of industrial load based on Petri net theory