opt时序片段就像一个没有else子句的简单if语句，可以添加一个守卫条件，只有当守卫条件的结果为true时，系统才会执行opt片段中所包含的消息。strict并行操作允许运算对象以任何顺序执行，但是一旦指定的运算对象开始执行，它内部的所有操作就必须按照指定的顺序完成，然后其他运算的对象才能开始执行。「系统根据par时序片段给出规则，可自由交叉执行任何操作的消息，但是一旦系统进入临界区（执行msg