A Petri net based approach for performing the initial allocation in hardware/software codesign | IEEE Conference Publication | IEEE Xplore