有关Petri网工具的几个网站
versa 于 2004年 12月03日 发表
www2.pallas.nl/protos/uk/protos
www.get-income.com
www.pallas-athena.com/flower
www.exspect.com
www.cosa.de
http://w3.tue.nl/en/services/dienst_ict/organisatie/groepen/wins/campus_software/protos/
==================================
发现这个地方的Petri网工具比较多：
http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/
特别是几个java applet写的小工具，很实用，如
http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/java/Guth/
但这个工具不能把模型保存下来，晕。
这个工具库中的工具还没有看完，应该会有比较好用的。
Tool Databases
- Petri Nets Tool Database
- Comprehensive and up-to-date database of currently used tools for Petri Nets.
- Java Tools on the Web
- If you do not know much about Petri Nets, then these simple tools may provide a quick impression on the basics.
Related Material
- Formal Methods
- Look under the section "Individual notations, methods and tools".
- Look under the "Tools" section. Part of Formal Methods Europe.
- A refereed, interactive tool repository under the auspices of the STTT Journal.
