we are working on a system which have multiple logical components, each component has its own state diagrams but they are dependent on each other.
e.g.
Component 1 has states like - Init, stand by, run, fault, sleep
component 2 has - init, standby, run, fault, sleep
Component 3 has -init, standby, run, fault, sleep
Now - component 3 is dependent on component 1 and 2 , if both component 1 and 2 is in stand by then only component 3 should go to stand by and if any of component 1 or 2 is failed component 3 should also fail.
Based on your description I would suggest that in strict compliance with Arcadia you are referring to system modes rather than states. However, this does not change your modelling options.
To synchronize the modes of the distinct logical components they will need to have an awareness of each others’ current mode. This implies some functional exchange must take place between them as their mode changes. I believe this is the reason for your question. I would suggest the most obvious thing to do is to allocate a Logical Function to the Entry behaviour of the Component 1 and 2 modes. The Logical Function would be the communication to Component 3 that the communicating component’s (1 or 2) mode of operation has changed. Based on the receipt of that functional exchange Component 3 will change its own mode or not (based on a simple truth table).
Based on your description I think this would achieve your objective.