N. Marranghello, “Digital systems synthesis from Petri net descriptions”, DPB, vol. 27, no. 530, Mar. 1998.