SMS dit: Hardware design and Petri nets / edited by Alex Yakovlev, Luis Gomes, Luciano Lavagno.