#3 Petri Nets World Entry

[omit]

You should update the information in the "Tools
Database" of "The Petri Net World"
(http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/).
This is the most important website for petri nets, and
PIPE surely will get more attention if the information
there is up to date and especially the link is being
corrected.