Our group uses various computer tools to simulate and
verify formal models. For some of the tools there are
homepage which provide you with examples and additional
Renew is a Java-based Petri net tool that is developed
here at Hamburg.
Petri net tools are collected at the
Petri Nets World.
There are some other tools which are written in Java, so
you can try them out immediately.