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