Other Publications
| César Oliveira and Ricardo Lima Performance Analysis of Resource-Constrained Business Processes: a Formal Approach Based on Stochastic Petri Nets. Technical Report. Federal University of Pernambuco, 2009. |
| Paulo Nascimento, Paulo Maciel, Manoel Lima, Remy Sant’Ana; Abel Silva Filho. A Partial Reconfigurable FPGA Implementation for Industrial Controllers Using SFC-Petri Net Description. In: 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays , 2005, Monterey, California, USA. Proceedings of the 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays, 2005. |
| Remy Sant’Ana, Manoel Lima and Paulo Maciel. A Left-Edge Algorithm Approach for Scheduling and Allocation of Hardware Contexts in Dynamically Reconfigurable Architectures. In: ACM/SIGDA 12th international symposium on Field-programmable gate arrays, 2004, Monterey, USA. Proceedings of the 2004 ACM/SIGDA 12th international symposium on Field-programmable gate arrays, 2004. |
| Tomáz Barros and Paulo Maciel Resource Estimation and Modeling of Production Systems Based on Petri Nets. In: The Tenth International Colloquium on Numerical Analysis and Computer Science with Applications, 2001, Plovdiv. Abstracts of Invited Lectures, 2001. p. 10-10. |
| Paulo Maciel, Tomáz Barros and Mauro Santos. Um Diagnosticador de falhas para Sistemas de Controle Sequencial Especificado por Redes de Petri. In: 45 SBPC, 1993, Recife. Anais do Simpósio Brasileiro para o Progresso de Ciência, 1993. p. 274-274. |
