N. Marranghello, “Digital systems synthesis from Petri net descriptions”, DPB, bd. 27, nr. 530, mar. 1998.