On transforming Petri net model to Moore machine. - Carl K. Chang; Hsuanwei Huang (COMPSAC, 1990)