Data-dependency analysis: an approach based on Petri nets

摘要

This work presents a method based on Petri for performing data-dependency analysis. The proposed method considers the data-dependency graph represented by a marked-graph. Such model along with the control flow, also represented by a Petri net models, describe behavioral specifications. This work is inserted in the context of hardware/software codesign systems.