Graficos emisores

尊敬的modelo tiene tre gráficos使者:DataSender，EventSenderyMessageSender．卡达gráfico大使。En la acción国家的entrada, los gráficos英勇的数据，envían un even de llamada de función o envían un mensaje。

Graficos受体

Cada uno de los gráficos emisores tiene un gráfico受体通讯员。卡达gráfico受体tiene un diagram de estados con los estadosA0，A1，A2yA3．El evento implícito后(3秒)Activa la transición deA0一个A1．资料，我的世界gráfico我们之间的沟通使者A1，A2yA3．

Salida del ámbito

Cada gráfico受体tiene una salida de estado activa habilitada y conectada con un ámbito。El ámbito muestra qué estados están时间内的活动。这是我的工作，这是我的工作，这是我的工作。

便捷性

El graficoDataSender联合国英勇的殉国之日米，我是你的同伴gráficoDataReceiver．

El graficoDataReceiver独自一人，独自一人，独自一人，独自一人。Al comienzo de la simulación, el estadoA0门activo。在时代的统一中t = 3， se produce la transición deA0一个A1．在时代的统一中t = 4， el gráfico comprueba si米Es igual a 1。Esta condición es verdadera, por loque el gráfico realiza la transición deA1一个A2．在时代的统一中t = 5，米Todavía es igual a1， por lo que el gráfico realiza la transición deA2一个A3．En el ámbito, puede ver queDataReceiverCambia de estado tres vays。

在我们的数据中有一个勇敢的信念，有一个永恒的信念simulación。我爱你，我爱你DataReceiverEvalúa la condición[m == 1]， realiza la transición联合国新国家。

便捷性

El graficoEventSender运用你们的力量发送(M)Para enviar UN even de salida de llamada de función Para activar el gráficoEventReceiver．

El graficoEventReceiver独自一人，独自一人，独自一人米Activa el gráfico。Al comienzo de la simulación, el estadoA0门activo。La transición deA0一个A1Se basa en lógica时间绝对时间válida cuandot = 0．A0永恒的活力gráfico我们不活跃的国家。护墙板,EventSenderEnvía埃尔埃文托米Tan solo una vez，EventReceiver没有活动性。En el ámbito, puede ver queEventReceiverNunca sale deA0．

有机会的人válidos有不同的时间，有机会的人gráfico有机会的人单独的人。CuandoEventSenderEnvía el evento，EventReceiver没有está prepareado para responderlo。EventReceiverPierde la opportunity de hacer la transición在和平中。

我的门

El graficoMessageSender利用sintaxis发送(M)Para enviar UN mensaje a través salida mensaje港。El mensaje pasa la cola de mensaje de entrada del gráficoMessageReceiver．我爱你，我爱你MessageReceiverlo evalua。

El graficoMessageReceiver独自一人，独自一人，独自一人，独自一人。Al comienzo de la simulación, el estadoA0门activo。在时代的统一中t = 3， se produce la transición deA0一个A1．在时代的统一中t = 4， el gráfico determina que米Está present ente en la cola, así que realiza la transición aA2．时间的统一，gráfico消失米可乐。在时代的统一中t = 5，没有干草ningún我有可乐，我有快乐gráfico没有实现transición aA3．A2永久的行动。En el ámbito, puede ver queMessageReceiverCambia de estado solo DOS ves。

一个不一样的夜晚，一个不一样的夜晚。El gráfico受体puede decidir响应un mensaje en cualquier memento posterior a su envío。资料上的差异，我无法理解válido不确定的形式。我的梦想被毁灭了，最后的团结在时间里。