Tools

Homepages

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 information.

Renew. Renew is a Java-based Petri net tool that is developed here at Hamburg.
Other Petri net tools are collected at the tools overview page of the Petri Nets World.

Java Tools

There are some other tools which are written in Java, so you can try them out immediately.

Java Application: Formal Languages & Automata
Java Applets: Petri Nets (Petri Nets World)

Imprint/Disclaimer

Last Change: 10:57 06/23/2015