The mentioned lectures and this book particularly concentrate on Petri nets and their use in the modelling and control design for DEDS. They serve as a basis for extending to other tools and approaches such as Grafcet, statecharts, supervisory contr
并发系统的监督控制-Petri网方法 Chapter 1:Introduction Chapter 2: This chapter introduces the Petri nets Chapter 3: This chapter introduces the supervision of Petri nets. Chapter 4: This chapter extends the SBPI to more general specifications and supervision set
