Single-rate data flow graphs (DFGs) are often used for modeling iterative concurrent activities. A DFG and its iteration bound are equivalent to a marked graph and cycle time of a Petri net, ...