Marranghello, Norian. 1998. “Digital Systems Synthesis from Petri Net Descriptions”. DAIMI Report Series 27 (530). https://doi.org/10.7146/dpb.v27i530.7059.