Hardware Design and Petri Nets by Luciano Lavagno & Alex Yakovlev