Statechart Diagram Synch State

• Synchronization of control between two concurrent regions

• „Producer-Consumer”

• Upon activation, a token is inserted into the synch state  (at most k tokens, k = 1, 2, … *)

• Outgoing transition can fire if at least one token is available

k

P1

P2

Previous slide

Next slide

Back to first slide

View graphic version