Supervisory Control of Concurrent Systems A Petri Net Structural Approach

并发系统的监督控制-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 settings Chapter 5: The SBPI is extended here to a dec