一个（     ）迁移图符可以有多个源状态或目标状态，它们可以把一个控制分解为并行运行的并发线程，或