For the most recent entries see the
Petri Nets Newsletter.
Lima, R.
-
Tavares, Eduardo;
Barreto, Raimundo;
Maciel, Paulo;
Meuse Oliveira, Jr.;
Amorim, Leonardo;
Rocha, Fernando;
Lima, Ricardo:
Software synthesis for hard real-time embedded systems with multiple processors.
2007.
-
Junior, Meuse N. O.;
Neto, Silvino;
Maciel, Paulo;
Lima, Ricardo;
Ribeiro, Angelo;
Barreto, Raimundo;
Tavares, Eduardo;
Braga, Frederico:
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.
2006.
-
Adilson Arcoverde, Jr.;
Gabriel Alves, Jr.;
Lima, Ricardo:
Petri nets tools integration through Eclipse.
2005.
-
Barreto, Raimundo;
Tavares, Eduardo;
Maciel, Paulo;
Oliveira, Meuse Jr;
Amorim, Leonardo;
Lima, Ricardo;
Carvalho, Cesar;
Mello, Carlos:
A Time Petri Net-Based Approach for Software Synthesis Considering Overheads.
2005.
-
Junior, Meuse N.O.;
Maciel, Paulo;
Lima, Ricardo;
Ribeiro, Angelo;
Oliveira, Cesar;
Arcoverde, Adilson;
Barreto, Raimundo;
Tavares, Eduardo;
Amorin, Leornado:
A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net.
2005.
-
Tavares, Eduardo;
Maciel, Paulo;
Bessa, Arthur;
Barreto, Raimundo;
Barros, Leonardo;
Meuse Oliveira, Jr;
Lima, Ricardo:
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes.
2005.
-
Amorim, Leonardo;
Barreto, Raimundo;
Maciel, Paulo;
Tavares, Eduardo;
Oliveira, Meuse;
Bessa, Arthur;
Lima, Ricardo:
A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.
2005.
-
Barreto, Raimundo;
Neves, Marilia;
Meuse Oliveira, Jr.;
Maciel, Paulo;
Tavares, Eduardo;
Lima, Ricardo:
A formal software synthesis approach for embedded hard real-time systems.
2004.
-
Tavares, Eduardo;
Barreto, Raimundo;
Oliveira Júnior, Meuse;
Maciel, Paulo;
Neves, Marília;
Lima, Ricardo:
An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints.
2004.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography