UltraDES (nuget): UltraDES is a library for modeling, analysis and control of Discrete Event Systems.
Keywords: linqpad-samples