工具	CPN Tools 帮助(CPN Tools help)
工具概述	工具(Tools)

---

• 工具板和工具窗(Palettes and toolglasses)
• 弹出菜单工具(Marking menu tools)
• CPN ML - CPN ML语言
• 标准ML语言(Standard ML)