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 where 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 co-design methodology.