petri的开发软件，可以设计petri网模型，验证，调试。