这意味着，在进入此状态时，状态机将停止运行。
This means that, when this state is entered, the state machine stops running.
此状态机将能够运行，我们可以使用BPC Explorer测试它。
This state machine will run, and we can test it using the BPC explorer.
向库添加一本新书(如果该书已经存在的话，此操作将失败，当客户机在未重启服务器的情况下运行超过一次时，也会出现同样的错误)。
Add a book to the library (which fails if the book is already present, as will happen when the client is run more than once without restarting the server).
应用推荐