Hardware Design and Petri Nets door Luciano Lavagno & Alex Yakovlev