Email Record: Hardware Design and Petri Nets /