处理 true 和 false 关键字
Merge remote-tracking branch 'origin/master'

Conflicts:
	.idea/workspace.xml
	src/simbip/constructor.clj
增加了：从一个 place 出发的 transition 上如果有相同的 port，选择同步这些 port 导致有多条 transition 同时可以执行，这个实际上是一个运行时错误，需要被检查出来。