Hardware Design and Petri Nets - Yakovlev, Alex; Gomes, Luis; Lavagno, Luciano (Kluwer Academic Publishers, 2003)