PetriNetExec a library for embedding Petri Nets into Java applications
LIME is a software tool for creating multiphysics simulation codes.
An easy-to-use Simulation of Hardware-Gates
Basic real-time simulation engine in C++
Visually build and simulate boolean logic circuits