For the most recent entries see the Petri Nets Newsletter.

Petri Net Based Interface Analysis for Fast IP-Core Integration.

de Oliveira Filho, Julio A.; de Lima, Manoel E.; Maciel, Paulo Romero

In: First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE'03), Mont Saint-Michel, France, pages 34-44. IEEE, June 2003.

Abstract: An interface process generation methodology, based on Petri Nets, is described for fast integrating point-topoint communicating modules. Formal basis of this methodology ease behavioral property-checking and consistent execution of the generated interface process. The exposed technique allows fast incorporation of third-party cores into SoPC systems design where integration task is often a barrier for reusability.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography