lightbulb-o current state diagram for a railway station

8 years 7 months ago #2322 by andy
I think B is a precondition for g' transition in this case. Without a pre-condition the flow should no go anywhere. Right?

Please Log in or Create an account to join the conversation.

Moderators: tma
Time to create page: 0.037 seconds
^ Back to Top