In addition, the mapping relationship between main processes of CSP(Communicating Sequential Processes) and petri net is proposed.

• 此外，我们还分析和提出了CSP（通信顺序进程）理论中主要进程与Petri网之间的映射关系。