Describir: Hardware Design and Petri Nets /