Zhijun Ding Changjun Jiang MengChu Zhou Yaying Zhang Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets. 791-801 2008 38 IEEE Transactions on Systems, Man, and Cybernetics, Part A 4 http://dx.doi.org/10.1109/TSMCA.2008.923064 db/journals/tsmc/tsmca38.html#DingJZZ08