Gravar-mail: Energy aware knowledge extraction from Petri nets supporting decision-making in service-oriented automation