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)
