Text this: Hardware design and Petri nets