Reseau de Petri (RdP) is a simulator and analyzer for Petri nets. It lets you draw places, arcs, and transitions, set tokens for each place, set the weight of each arc, and connect multiples entries and outputs for each place.
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.