《Introduction to discrete event systems》学习笔记---第四章