A Petri Net model for a building energy management system based on a demand response approach | IEEE Conference Publication | IEEE Xplore