主要介绍如何使用automata以及PetriNets对离散事件(动态)系统进行建模及描述。吴老师上学期连讲了好多节课,并且发了一篇bookreview在IEEEControlSystemMagazine上:    A.PaoliandN.E.Wu,Bookreview:AnIntroductiontoDiscreteEventSystems,2ndEdition,byC.G.Cassandras,andS.Lafortune,IEEEControlSystemsMagazine,June,2009.    EvaWu的个人主页:  http://www.ws.bingha