CPNTools是颜色Petri网领域鼎鼎大名的建模软件，其操作也独具特色--添加库所、变迁以及弧的方法是使用鼠标右键点击不放，在出现的圆形弹出菜单内用左键选择相应的项目。