Using Petri nets for data dependency analysis

Due to design constraints, many digital systems are implemented as mixed hardware and software components. An informal choice of implementing a part of the system, either in software or in hardware, can produce incorrect or unsatisfactory results. Co-design methodologies have been developed to aid the development of such systems. The partitioning phase is one of the tasks carried out by a co-design methodology. It divides the original system into components taking in 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.