There have many representation proposed in literature, among them control flow graph (CFG) and Petri net are two typical ones.

• 它能够简洁、有效而又不丢失有用信息地表示并发程序。