Marranghello, N. 1998. Digital systems synthesis from Petri net descriptions. DAIMI Report Series. 27, 530 (Mar. 1998). DOI:https://doi.org/10.7146/dpb.v27i530.7059.