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.