Add Branch Point with Prob weight. is not working

[denizcaygoz]

Hi,

I have this model that simulates motion detection. I used branch point for this and said every time with 2/3 weight motion is detected and with 1/3 motion is not detected. If 1 is selected as num. Then we send a sync message with motion_detected!, if 0 is selected then nothing happens.

Unfortunately I'm getting an Deadlock error in concrete simulator and also stochastic execution is disabled in concrete simulator.

[mikucionisaau]

This process can delay in Decision arbitrarily where moteion_timer can become greater than MOTION_DETECT_INTERVAL and thus the process gets stuck in in MotionDetected and MotionNotDetected.

The automaton can also be simplified by having explicit branches (without select statement) and output synchronizations, thus making the location Decision and variable motion_decision_num redundant. Like this: