Marranghello, N. Digital Systems Synthesis from Petri Net Descriptions. DPB 1998, 27.