EZPetri: A Petri net interchange framework for Eclipse based on PNML. - Gabriel Alves; Adilson Arcoverde; Ricardo Massa Ferreira Lima; Paulo Romero Martins Maciel (ISoLA (Preliminary proceedings), 2004)

Petri nets tools integration through Eclipse. - Adilson Arcoverde; Gabriel Alves; Ricardo Massa Ferreira Lima (eTX, 2005)

A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net. - Meuse N. Oliveira Jr.; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima; Angelo Ribeiro; César A. L. de Oliveira; Adilson Arcoverde; Raimundo S. Barreto; Eduardo Tavares; Leonardo Amorim (PATMOS, 2005)

An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. - Eduardo Tavares; Raimundo S. Barreto; Paulo Romero Martins Maciel; Meuse N. Oliveira Jr.; Adilson Arcoverde; Gabriel Alves; Ricardo Massa Ferreira Lima; Leonardo Barros; Arthur Bessa (PATMOS, 2005)

Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations. - Adilson Arcoverde; Paulo Romero Martins Maciel; Ricardo Massa Ferreira Lima (SMC, 2007)