Multi-sim or a free equivalent should do simple relay logic. 

Heck I reckon even tinkercad could do that to be honest. 

If you're looking for something you can demo hardware wise easily, grab an arduino and some switches, and you could code all that, their coding side is really simple.

Aaron O'Sullivan said:

If you're looking for something you can demo hardware wise easily, grab an arduino and some switches, and you could code all that, their coding side is really simple.

The problem is that (unless you do something clever) you're likely to code it in series. So each relay is a simple IF statement, but what you mustn't do is simply have them all happening one after another, because as soon as you get relays in parallel and branching off in all directions and rejoining the sequence of events becomes critical, and hard to predict - and is exactly what you want to find out. You effectively need parallel processing. So you could use several arduinos, or you could use several relays...which takes you back to where you started! There probably is a way of doing it, by putting each relay branch in a subroutine, and possible nesting them, but personally I'd then be getting concerned that my software would have more bugs in than the design I was trying to emulate 

But yes absolutely it ought to be possible to use the free simulators that are around, provided they include simulating the delays.

It's just a nested set of IF, Else IF statements. 

And it's easy to debug, you just issue Serial.print statements before you connect any hardware, that's how I typically build these. 

except it isn't quite - nested ifs do not correctly chatter like relays that disconnect their own suppies. There is a reason for time domain analysis ... and why it re-solves all  node voltages at every step.
Mike

except it isn't quite - nested ifs do not correctly chatter like relays that disconnect their own suppies. There is a reason for time domain analysis ... and why it re-solves all  node voltages at every step.
Mike