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