英国Queen's University Belfast;加拿大University of Victoria ... synthesis problem is firstly formulated in the labeled Petri net system. > The intermittent attack synthesis problem is also extended into ...