Environment_PW environment_model_PW { Boundary DriverBlockWindow { name = "DriverBlockWindow" Port p_lockOut { name = "lockOut" } Port p_windowCommands { name = "windowCommands" } Port p_stickHead { name = "stickHead" } Parallel { name = "s_" {HasActivity} CommunicationSequence { name = "driver" actor = "driver" Output cmdUpD { name = "cmdUpD" duration = 3 } Output cmdStopD { name = "cmdStopD" duration = 4 } Output cmdDownP { name = "cmdDown" duration = 3 } Output lockOut { name = "lockOut" duration = 1 } } {HasActivity} CommunicationSequence { name = "passenger" actor = "passenger" Output cmdUp1 { name = "cmdUp" duration = 3 } Output stickHead { name = "stickHead" duration = 3 } Output cmdUp2 { name = "cmdUp" duration = 2 } } } } NextEvent (cmdUpD, cmdStopD) {} NextEvent (cmdStopD, cmdDownP) {} NextEvent (cmdDownP, lockOut) {} NextEvent (cmdUp1, stickHead) {} NextEvent (stickHead, cmdUp2) {} PortEvent (p_stickHead, stickHead) {} PortEvent (p_windowCommands, cmdUpD) {} PortEvent (p_windowCommands, cmdDownD) {} PortEvent (p_windowCommands, cmdUp1) {} PortEvent (p_windowCommands, cmdUp2) {} PortEvent (p_lockOut, lockOut) {} }