Hardware design and petri nets