Paulo Maciel graduated in Electronic Engineering in 1987, and received his MSc and PhD degrees in Electronic Engineering and Computer Science from Univesidade Federal de Pernambuco, respectively. He was faculty member of the Electric Engineering Department of Universidade de Pernambuco from 1989 to 2003. Since 2001 he has been a member of the Informatics Center of Universidade Federal de Pernambuco, where he is currently Associate Professor. He is research member of the Brazilian research council (CNPq)and IEEE member. From May 2011 to January 2012 he was Visiting Professor at Pratt Engineering School at Duke University. His research interests include Petri nets, formal models, performance and dependability evaluation, encompassing manufacturing, embedded, computational and communication systems as well as power consumption analysis.