I’ve wrote a program with a friend that allows to edit and simulate limited petrinets, including a format for defining petrinets in XML. It was written as an exercise for the lecture “Beschränkte Petrinetze 1” of Prof. Gerber at the University of Leipzig.
Last build is from 2003-02-19. You need Java 2 Version 1.4 to run this program. Get it at http://java.sun.com
Examples and Documentation
Written by Michael Große & Arne Brutschy, © 2003