petri-net logic changed in main_controller.cpp
petri-net logic changed in main_controller.cpp

pmlk/SmartWindow,smartuni/SmartWindow,pmlk/SmartWindow,pmlk/SmartWindow,pmlk/SmartWindow,smartuni/SmartWindow,pmlk/SmartWindow,smartuni/SmartWindow,smartuni/SmartWindow,smartuni/SmartWindow