《Principles of Model Checking》Chapter 2 Modelling Concurrent Systems 2.1 Transition Systems(转换系统)