Petri Nets World Has Moved
The new location is:
http://www.informatik.uni-hamburg.de/TGI/PetriNets/