Energy aware knowledge extraction from Petri nets supporting decision-making in service-oriented automation - Leitão, Paulo (2010)