The second one is reduction verification, whose research results on Petri net and workflow graph are given.是什么意思_The second one is reduction verification, whose research results on Petri net and workflow graph are given.在线翻译_英语_读音_用法_例句