5.3.2　Structured Operational Semantics of Parallelism of Hybrid APTC