12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455 |
- Environment_PW environment_model_PW {
- Parallel {
- name = "s_"
- duration = 0
- {Contains} CommunicationSequence {
- name = "driver"
- actor = "driver"
- duration = 0
- {Contains} Event cmdUpD {
- name = "cmdUpD"
- duration = 3
- }
- {Contains} Event cmdStopD {
- name = "cmdStopD"
- duration = 4
- }
- {Contains} Event cmdDownP {
- name = "cmdDown"
- duration = 3
- }
- {Contains} Event lockOut {
- name = "lockOut"
- duration = 1
- }
- }
- {Contains} CommunicationSequence {
- name = "passenger"
- duration = 0
- {Contains} Event cmdUp1 {
- name = "cmdUp"
- duration = 3
- }
- {Contains} Event stickHead {
- name = "stickHead"
- duration = 3
- }
- {Contains} Event cmdUp2 {
- name = "cmdUp"
- duration = 2
- }
- }
- }
- Next (cmdUpD, cmdStopD) {}
- Next (cmdStopD, cmdDownP) {}
- Next (cmdDownP, lockOut) {}
- Next (cmdUp1, stickHead) {}
- Next (stickHead, cmdUp2) {}
- }
|