Daniel Y. Chao MengChu Zhou David T. Wang Extending the Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems. 67-76 1994 37 Comput. J. 1 db/journals/cj/cj37.html#ChaoZW94