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.
Open source project that offer summary and download services on this page is a project that carry out their development work on other open source development sites. Their work is linked to this page via a feature called OFI, and their work is not carried out here on OSDN site.