Petrinetz -- Homepage

<body> <h1>Petrinetz -- Homepage</h1> <p><a href="http://www.informatik.uni-hamburg.de/TGI/PetriNets/">http://petrinetz.de</a> </p> </body>