GitHub repository: larics/Petri.Net
Primary language: C#
Description: A tool for symulating discrete-event systems using Petri nets.