分析着色petri网
CPN tools 帮助(
CPN Tools help
)
语法校验, 仿真, 状态空间分析
方式（
How-to
）
语法校验（
Syntax Checking
）
网络的仿真（
Simulating Nets
）
使用状态空间工具（
Use State Space Tool
）