Page has moved to a new location: http://www2.informatik.uni-hamburg.de/tgi/PetriNets/tools/db.html.

Please update your link or notify the owner of the referring page. Thank you.

Last modified: Fri Feb 23 23:06:52 1996