答案:答:Zhao Mi,Hou YF,Liu Ding.Title: Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming[J].INTERNATIONAL JOURNAL OF CONTROL, 2010,83 (10): 2053-2066答:张践,朱立信.哲学与当代文化[M].北京:中国人民大学出版社,1988答:陈金香,陈爱国,王志和,等. 基于Freelance2000系统的水位控制系统设计[J]. 内蒙古科技与经济,2005(2):44-46.