For the most recent entries see the Petri Nets Newsletter.

Using Petri nets for data dependency analysis.

Filho, F.C.; Maciel, P.; Barros, E.

In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'2000), 8-11 October 2000, Nashville, TN, Vol. 4, pages 2998-3003. 2000.

Abstract: Due to design constraints, many digital systems are implemented as mixed hardware and software components. An informal choice of where implementing a part of the system - either in software or in hardware - can produce incorrect or unsatisfactory results. Codesign methodologies have been developed to aid the development of such systems. The partitioning phase is one of the tasks carried out by a codesign methodology. It divides the original system into components taking into account software or hardware implementation. This work presents a model to carry out data dependency analysis, which is one of the aspects considered for the partitioning algorithm of the PISH codesign methodology. Quantitative analysis is performed using a Petri net model derived from occam specification of the system.

Keywords: PISH, Petri nets, codesign methodologies, data dependency analysis, hardware/software codesign.

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

Back to the Petri Nets Bibliography