Concurrent-System-Design-and-Analysis 设计并完成一个并发模型，即国王和骑士的圆桌会议。使用Java 语言的monitor 方法完成，并且使用一个LTSA 的工具用FSP 将整个模型重新建模用来检查模型存在的死锁等问题。