Group
THEORETICAL
FOUNDATIONS OF
COMPUTER
SCIENCE
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 was developed
here at Hamburg.
- Design/CPN.
This program is a large Petri net editor.
Java Tools
There are some other tools which are written in Java, so
you can try them out immediately.
[TGI]
[Informatics]
[University]
Last Change: 17:51 04/03/2003
Impressum
