Simulaworks, System Simulator 

SimulaWorks package is a general purpose simulator, it supports an open set of simulation languages and AI techniques.
simulaworks simulator control fuzzy neural network genetic gpss petri nets activex

Logic Circuit Simulator 

This package provides logical circuit simulation, it comes with common logic elements which includes logic gates, flop-flops, binary inputs and binary viewers. User can construct any logic circuit by drag and drop.
logical circuit simulation visual and or gates on off binary bus led