HARDWARE DESIGN AND PETRI NETS