Hardware design and Petri nets - Lavagno, Luciano; Yakovlev, Alex; Gomes, Luis (Kluwer Academic Publishers, 2000)