We also discuss the technique of PI-calculus modeling and how to use the MWB tool to check models.

• 讨论利用PI演算建模的一般方法以及怎样利用MWB工具软件检测模型。