A mode-based implementation framework for advanced control methods in building automation systems with Petri-Nets | IEEE Conference Publication | IEEE Xplore