tests/traffic_lights/plc.xml
author Sergey Surkov <surkovsv93@gmail.com>
Tue, 18 Oct 2016 17:44:08 +0300
changeset 1544 2969c2123105
parent 1383 45935812f930
child 1546 f1840d27823d
permissions -rw-r--r--
Fix bug with two or more wires connected to one input. Now only one wire can be connected to one input, except BOOLean signals in LD and SFC. If user trying to connect wire with already connected input, wire highlight will become red.
Signed-off-by: Andrey Skvortsov <andrej.skvortzov@gmail.com>
1383
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
     1
<?xml version='1.0' encoding='utf-8'?>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
     2
<project xmlns="http://www.plcopen.org/xml/tc6_0201" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xhtml="http://www.w3.org/1999/xhtml" xsi:schemaLocation="http://www.plcopen.org/xml/tc6_0201">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
     3
  <fileHeader companyName="Unknown" productName="Unnamed" productVersion="1" creationDateTime="2012-09-04T16:16:33"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
     4
  <contentHeader name="traffic_lights" modificationDateTime="2013-12-06T12:19:16">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
     5
    <coordinateInfo>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
     6
      <fbd>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
     7
        <scaling x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
     8
      </fbd>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
     9
      <ld>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    10
        <scaling x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    11
      </ld>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    12
      <sfc>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    13
        <scaling x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    14
      </sfc>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    15
    </coordinateInfo>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    16
  </contentHeader>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    17
  <types>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    18
    <dataTypes/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    19
    <pous>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    20
      <pou name="traffic_light_sequence" pouType="functionBlock">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    21
        <interface>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    22
          <inputVars>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    23
            <variable name="SWITCH_BUTTON">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    24
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    25
                <BOOL/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    26
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    27
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    28
            <variable name="PEDESTRIAN_BUTTON">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    29
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    30
                <BOOL/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    31
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    32
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    33
          </inputVars>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    34
          <outputVars>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    35
            <variable name="RED_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    36
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    37
                <BOOL/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    38
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    39
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    40
            <variable name="ORANGE_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    41
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    42
                <BOOL/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    43
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    44
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    45
            <variable name="GREEN_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    46
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    47
                <BOOL/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    48
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    49
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    50
            <variable name="PEDESTRIAN_RED_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    51
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    52
                <BOOL/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    53
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    54
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    55
            <variable name="PEDESTRIAN_GREEN_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    56
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    57
                <BOOL/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    58
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    59
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    60
          </outputVars>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    61
          <localVars>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    62
            <variable name="TON1">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    63
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    64
                <derived name="TON"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    65
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    66
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    67
            <variable name="TON2">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    68
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    69
                <derived name="TON"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    70
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    71
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    72
            <variable name="ALLOW_CARS">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    73
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    74
                <BOOL/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    75
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    76
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    77
            <variable name="WARN_CARS">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    78
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    79
                <BOOL/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    80
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    81
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    82
            <variable name="STOP_CARS">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    83
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    84
                <BOOL/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    85
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    86
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    87
            <variable name="ALLOW_PEDESTRIANS">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    88
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    89
                <BOOL/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    90
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    91
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    92
            <variable name="STOP_PEDESTRIANS">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    93
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    94
                <BOOL/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    95
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    96
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    97
            <variable name="TON3">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    98
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
    99
                <derived name="TON"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   100
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   101
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   102
            <variable name="R_TRIG0">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   103
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   104
                <derived name="R_TRIG"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   105
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   106
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   107
            <variable name="R_TRIG1">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   108
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   109
                <derived name="R_TRIG"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   110
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   111
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   112
            <variable name="SR0">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   113
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   114
                <derived name="SR"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   115
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   116
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   117
          </localVars>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   118
        </interface>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   119
        <actions>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   120
          <action name="BLINK_ORANGE_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   121
            <body>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   122
              <LD>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   123
                <leftPowerRail localId="1" height="40" width="2">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   124
                  <position x="54" y="123"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   125
                  <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   126
                    <relPosition x="2" y="20"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   127
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   128
                </leftPowerRail>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   129
                <contact localId="2" height="15" width="21" negated="true">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   130
                  <position x="121" y="135"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   131
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   132
                    <relPosition x="0" y="8"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   133
                    <connection refLocalId="1">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   134
                      <position x="121" y="143"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   135
                      <position x="56" y="143"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   136
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   137
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   138
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   139
                    <relPosition x="21" y="8"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   140
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   141
                  <variable>ORANGE_LIGHT</variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   142
                </contact>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   143
                <block localId="3" width="97" height="102" typeName="TON" instanceName="TON1">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   144
                  <position x="216" y="103"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   145
                  <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   146
                    <variable formalParameter="IN">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   147
                      <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   148
                        <relPosition x="0" y="40"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   149
                        <connection refLocalId="2">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   150
                          <position x="216" y="143"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   151
                          <position x="142" y="143"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   152
                        </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   153
                      </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   154
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   155
                    <variable formalParameter="PT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   156
                      <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   157
                        <relPosition x="0" y="81"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   158
                        <connection refLocalId="4">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   159
                          <position x="216" y="184"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   160
                          <position x="151" y="184"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   161
                        </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   162
                      </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   163
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   164
                  </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   165
                  <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   166
                  <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   167
                    <variable formalParameter="Q">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   168
                      <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   169
                        <relPosition x="97" y="40"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   170
                      </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   171
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   172
                    <variable formalParameter="ET">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   173
                      <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   174
                        <relPosition x="97" y="81"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   175
                      </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   176
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   177
                  </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   178
                </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   179
                <inVariable localId="4" height="27" width="72">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   180
                  <position x="79" y="171"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   181
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   182
                    <relPosition x="72" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   183
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   184
                  <expression>T#500ms</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   185
                </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   186
                <block localId="5" width="97" height="106" typeName="TON" instanceName="TON2">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   187
                  <position x="216" y="251"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   188
                  <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   189
                    <variable formalParameter="IN">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   190
                      <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   191
                        <relPosition x="0" y="41"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   192
                        <connection refLocalId="14">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   193
                          <position x="216" y="292"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   194
                          <position x="155" y="292"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   195
                        </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   196
                      </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   197
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   198
                    <variable formalParameter="PT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   199
                      <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   200
                        <relPosition x="0" y="84"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   201
                        <connection refLocalId="15">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   202
                          <position x="216" y="335"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   203
                          <position x="162" y="335"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   204
                        </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   205
                      </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   206
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   207
                  </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   208
                  <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   209
                  <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   210
                    <variable formalParameter="Q">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   211
                      <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   212
                        <relPosition x="97" y="41"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   213
                      </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   214
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   215
                    <variable formalParameter="ET">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   216
                      <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   217
                        <relPosition x="97" y="84"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   218
                      </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   219
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   220
                  </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   221
                </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   222
                <coil localId="6" height="15" width="21" storage="reset">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   223
                  <position x="517" y="284"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   224
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   225
                    <relPosition x="0" y="8"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   226
                    <connection refLocalId="10" formalParameter="Q">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   227
                      <position x="517" y="292"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   228
                      <position x="427" y="292"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   229
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   230
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   231
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   232
                    <relPosition x="21" y="8"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   233
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   234
                  <variable>ORANGE_LIGHT</variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   235
                </coil>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   236
                <rightPowerRail localId="7" height="40" width="2">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   237
                  <position x="598" y="123"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   238
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   239
                    <relPosition x="0" y="20"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   240
                    <connection refLocalId="8">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   241
                      <position x="598" y="143"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   242
                      <position x="530" y="143"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   243
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   244
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   245
                </rightPowerRail>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   246
                <coil localId="8" height="15" width="21" storage="set">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   247
                  <position x="509" y="135"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   248
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   249
                    <relPosition x="0" y="8"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   250
                    <connection refLocalId="11" formalParameter="Q">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   251
                      <position x="509" y="143"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   252
                      <position x="428" y="143"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   253
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   254
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   255
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   256
                    <relPosition x="21" y="8"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   257
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   258
                  <variable>ORANGE_LIGHT</variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   259
                </coil>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   260
                <comment localId="9" height="39" width="308">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   261
                  <position x="54" y="26"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   262
                  <content>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   263
                    <xhtml:p><![CDATA[This action makes the orange light blink]]></xhtml:p>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   264
                  </content>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   265
                </comment>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   266
                <block localId="10" width="57" height="40" typeName="R_TRIG" instanceName="R_TRIG0">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   267
                  <position x="370" y="262"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   268
                  <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   269
                    <variable formalParameter="CLK">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   270
                      <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   271
                        <relPosition x="0" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   272
                        <connection refLocalId="5" formalParameter="Q">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   273
                          <position x="370" y="292"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   274
                          <position x="313" y="292"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   275
                        </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   276
                      </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   277
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   278
                  </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   279
                  <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   280
                  <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   281
                    <variable formalParameter="Q">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   282
                      <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   283
                        <relPosition x="57" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   284
                      </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   285
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   286
                  </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   287
                </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   288
                <block localId="11" width="57" height="40" typeName="R_TRIG" instanceName="R_TRIG1">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   289
                  <position x="371" y="113"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   290
                  <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   291
                    <variable formalParameter="CLK">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   292
                      <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   293
                        <relPosition x="0" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   294
                        <connection refLocalId="3" formalParameter="Q">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   295
                          <position x="371" y="143"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   296
                          <position x="313" y="143"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   297
                        </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   298
                      </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   299
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   300
                  </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   301
                  <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   302
                  <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   303
                    <variable formalParameter="Q">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   304
                      <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   305
                        <relPosition x="57" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   306
                      </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   307
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   308
                  </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   309
                </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   310
                <rightPowerRail localId="12" height="40" width="2">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   311
                  <position x="597" y="272"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   312
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   313
                    <relPosition x="0" y="20"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   314
                    <connection refLocalId="6">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   315
                      <position x="597" y="292"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   316
                      <position x="538" y="292"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   317
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   318
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   319
                </rightPowerRail>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   320
                <leftPowerRail localId="13" height="40" width="2">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   321
                  <position x="67" y="272"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   322
                  <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   323
                    <relPosition x="2" y="20"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   324
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   325
                </leftPowerRail>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   326
                <contact localId="14" height="15" width="21">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   327
                  <position x="134" y="284"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   328
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   329
                    <relPosition x="0" y="8"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   330
                    <connection refLocalId="13">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   331
                      <position x="134" y="292"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   332
                      <position x="69" y="292"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   333
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   334
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   335
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   336
                    <relPosition x="21" y="8"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   337
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   338
                  <variable>ORANGE_LIGHT</variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   339
                </contact>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   340
                <inVariable localId="15" height="27" width="72">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   341
                  <position x="90" y="322"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   342
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   343
                    <relPosition x="72" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   344
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   345
                  <expression>T#500ms</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   346
                </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   347
              </LD>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   348
            </body>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   349
          </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   350
        </actions>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   351
        <transitions>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   352
          <transition name="STOP">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   353
            <body>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   354
              <FBD>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   355
                <block localId="42" width="59" height="40" typeName="NOT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   356
                  <position x="230" y="40"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   357
                  <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   358
                    <variable formalParameter="IN">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   359
                      <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   360
                        <relPosition x="0" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   361
                        <connection refLocalId="43">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   362
                          <position x="230" y="70"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   363
                          <position x="202" y="70"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   364
                        </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   365
                      </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   366
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   367
                  </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   368
                  <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   369
                  <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   370
                    <variable formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   371
                      <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   372
                        <relPosition x="59" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   373
                      </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   374
                    </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   375
                  </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   376
                </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   377
                <inVariable localId="43" height="27" width="156">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   378
                  <position x="46" y="57"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   379
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   380
                    <relPosition x="156" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   381
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   382
                  <expression>SWITCH_BUTTON</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   383
                </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   384
                <outVariable localId="44" height="27" width="46">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   385
                  <position x="351" y="57"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   386
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   387
                    <relPosition x="0" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   388
                    <connection refLocalId="42" formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   389
                      <position x="351" y="70"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   390
                      <position x="289" y="70"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   391
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   392
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   393
                  <expression>STOP</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   394
                </outVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   395
              </FBD>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   396
            </body>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   397
          </transition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   398
        </transitions>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   399
        <body>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   400
          <SFC>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   401
            <step localId="1" height="37" width="78" name="Standstill" initialStep="true">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   402
              <position x="530" y="31"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   403
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   404
                <relPosition x="39" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   405
                <connection refLocalId="39">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   406
                  <position x="569" y="31"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   407
                  <position x="569" y="11"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   408
                  <position x="1016" y="11"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   409
                  <position x="1016" y="1151"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   410
                  <position x="776" y="1151"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   411
                  <position x="776" y="1097"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   412
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   413
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   414
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   415
                <relPosition x="39" y="37"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   416
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   417
              <connectionPointOutAction formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   418
                <relPosition x="78" y="18"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   419
              </connectionPointOutAction>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   420
            </step>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   421
            <transition localId="2" height="2" width="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   422
              <position x="559" y="225"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   423
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   424
                <relPosition x="10" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   425
                <connection refLocalId="1">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   426
                  <position x="569" y="225"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   427
                  <position x="569" y="68"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   428
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   429
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   430
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   431
                <relPosition x="10" y="2"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   432
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   433
              <condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   434
                <inline name="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   435
                  <ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   436
                    <xhtml:p><![CDATA[SWITCH_BUTTON]]></xhtml:p>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   437
                  </ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   438
                </inline>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   439
              </condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   440
            </transition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   441
            <step localId="3" height="27" width="69" name="ORANGE">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   442
              <position x="535" y="252"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   443
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   444
                <relPosition x="34" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   445
                <connection refLocalId="2">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   446
                  <position x="569" y="252"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   447
                  <position x="569" y="227"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   448
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   449
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   450
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   451
                <relPosition x="34" y="27"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   452
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   453
              <connectionPointOutAction formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   454
                <relPosition x="69" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   455
              </connectionPointOutAction>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   456
            </step>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   457
            <transition localId="6" height="2" width="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   458
              <position x="559" y="376"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   459
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   460
                <relPosition x="10" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   461
                <connection refLocalId="15">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   462
                  <position x="569" y="376"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   463
                  <position x="569" y="336"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   464
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   465
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   466
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   467
                <relPosition x="10" y="2"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   468
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   469
              <condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   470
                <inline name="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   471
                  <ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   472
                    <xhtml:p><![CDATA[STOP_CARS]]></xhtml:p>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   473
                  </ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   474
                </inline>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   475
              </condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   476
            </transition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   477
            <actionBlock localId="8" width="231" height="162">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   478
              <position x="711" y="34"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   479
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   480
                <relPosition x="0" y="15"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   481
                <connection refLocalId="1">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   482
                  <position x="711" y="49"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   483
                  <position x="608" y="49"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   484
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   485
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   486
              <action localId="0" qualifier="P">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   487
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   488
                <inline>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   489
                  <ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   490
                    <xhtml:p><![CDATA[ORANGE_LIGHT := 1;]]></xhtml:p>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   491
                  </ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   492
                </inline>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   493
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   494
              <action localId="0">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   495
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   496
                <reference name="BLINK_ORANGE_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   497
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   498
              <action localId="0" qualifier="R">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   499
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   500
                <reference name="PEDESTRIAN_RED_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   501
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   502
              <action localId="0" qualifier="R">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   503
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   504
                <reference name="PEDESTRIAN_GREEN_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   505
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   506
              <action localId="0" qualifier="R">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   507
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   508
                <reference name="RED_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   509
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   510
              <action localId="0" qualifier="R">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   511
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   512
                <reference name="GREEN_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   513
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   514
            </actionBlock>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   515
            <actionBlock localId="9" width="219" height="125">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   516
              <position x="711" y="250"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   517
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   518
                <relPosition x="0" y="15"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   519
                <connection refLocalId="3">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   520
                  <position x="711" y="265"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   521
                  <position x="604" y="265"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   522
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   523
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   524
              <action localId="0" qualifier="R">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   525
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   526
                <reference name="GREEN_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   527
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   528
              <action localId="0" qualifier="S">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   529
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   530
                <reference name="ORANGE_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   531
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   532
              <action localId="0" qualifier="S">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   533
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   534
                <reference name="PEDESTRIAN_RED_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   535
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   536
              <action localId="0" qualifier="D" duration="T#2s">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   537
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   538
                <reference name="STOP_CARS"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   539
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   540
            </actionBlock>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   541
            <step localId="10" height="34" width="37" name="RED">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   542
              <position x="551" y="411"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   543
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   544
                <relPosition x="18" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   545
                <connection refLocalId="6">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   546
                  <position x="569" y="411"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   547
                  <position x="569" y="378"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   548
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   549
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   550
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   551
                <relPosition x="18" y="34"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   552
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   553
              <connectionPointOutAction formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   554
                <relPosition x="37" y="17"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   555
              </connectionPointOutAction>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   556
            </step>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   557
            <actionBlock localId="11" width="203" height="103">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   558
              <position x="710" y="413"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   559
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   560
                <relPosition x="0" y="15"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   561
                <connection refLocalId="10">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   562
                  <position x="710" y="428"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   563
                  <position x="588" y="428"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   564
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   565
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   566
              <action localId="0" qualifier="R">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   567
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   568
                <reference name="ORANGE_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   569
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   570
              <action localId="0" qualifier="S">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   571
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   572
                <reference name="RED_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   573
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   574
              <action localId="0" qualifier="D" duration="T#2s">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   575
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   576
                <reference name="ALLOW_PEDESTRIANS"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   577
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   578
            </actionBlock>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   579
            <transition localId="12" height="2" width="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   580
              <position x="559" y="533"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   581
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   582
                <relPosition x="10" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   583
                <connection refLocalId="7">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   584
                  <position x="569" y="533"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   585
                  <position x="569" y="487"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   586
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   587
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   588
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   589
                <relPosition x="10" y="2"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   590
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   591
              <condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   592
                <inline name="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   593
                  <ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   594
                    <xhtml:p><![CDATA[ALLOW_PEDESTRIANS]]></xhtml:p>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   595
                  </ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   596
                </inline>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   597
              </condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   598
            </transition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   599
            <selectionDivergence localId="15" height="1" width="154">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   600
              <position x="415" y="335"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   601
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   602
                <relPosition x="154" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   603
                <connection refLocalId="3">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   604
                  <position x="569" y="335"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   605
                  <position x="569" y="279"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   606
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   607
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   608
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   609
                <relPosition x="0" y="1"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   610
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   611
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   612
                <relPosition x="154" y="1"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   613
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   614
            </selectionDivergence>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   615
            <transition localId="16" height="2" width="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   616
              <position x="405" y="377"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   617
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   618
                <relPosition x="10" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   619
                <connection refLocalId="15">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   620
                  <position x="415" y="377"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   621
                  <position x="415" y="336"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   622
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   623
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   624
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   625
                <relPosition x="10" y="2"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   626
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   627
              <condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   628
                <reference name="STOP"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   629
              </condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   630
            </transition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   631
            <jumpStep localId="17" height="13" width="12" targetName="Standstill">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   632
              <position x="409" y="418"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   633
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   634
                <relPosition x="6" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   635
                <connection refLocalId="16">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   636
                  <position x="415" y="418"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   637
                  <position x="415" y="379"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   638
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   639
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   640
            </jumpStep>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   641
            <transition localId="4" height="2" width="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   642
              <position x="400" y="528"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   643
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   644
                <relPosition x="10" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   645
                <connection refLocalId="7">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   646
                  <position x="410" y="528"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   647
                  <position x="410" y="487"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   648
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   649
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   650
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   651
                <relPosition x="10" y="2"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   652
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   653
              <condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   654
                <reference name="STOP"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   655
              </condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   656
            </transition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   657
            <jumpStep localId="5" height="13" width="12" targetName="Standstill">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   658
              <position x="404" y="569"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   659
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   660
                <relPosition x="6" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   661
                <connection refLocalId="4">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   662
                  <position x="410" y="569"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   663
                  <position x="410" y="530"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   664
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   665
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   666
            </jumpStep>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   667
            <selectionDivergence localId="7" height="1" width="159">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   668
              <position x="410" y="486"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   669
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   670
                <relPosition x="159" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   671
                <connection refLocalId="10">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   672
                  <position x="569" y="486"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   673
                  <position x="569" y="445"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   674
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   675
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   676
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   677
                <relPosition x="0" y="1"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   678
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   679
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   680
                <relPosition x="159" y="1"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   681
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   682
            </selectionDivergence>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   683
            <step localId="18" height="27" width="148" name="PEDESTRIAN_GREEN">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   684
              <position x="495" y="575"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   685
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   686
                <relPosition x="74" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   687
                <connection refLocalId="12">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   688
                  <position x="569" y="575"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   689
                  <position x="569" y="535"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   690
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   691
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   692
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   693
                <relPosition x="74" y="27"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   694
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   695
              <connectionPointOutAction formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   696
                <relPosition x="148" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   697
              </connectionPointOutAction>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   698
            </step>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   699
            <actionBlock localId="19" width="246" height="110">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   700
              <position x="708" y="573"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   701
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   702
                <relPosition x="0" y="15"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   703
                <connection refLocalId="18">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   704
                  <position x="708" y="588"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   705
                  <position x="643" y="588"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   706
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   707
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   708
              <action localId="0" qualifier="S">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   709
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   710
                <reference name="PEDESTRIAN_GREEN_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   711
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   712
              <action localId="0" qualifier="R">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   713
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   714
                <reference name="PEDESTRIAN_RED_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   715
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   716
              <action localId="0" qualifier="D" duration="T#10s">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   717
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   718
                <reference name="STOP_PEDESTRIANS"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   719
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   720
            </actionBlock>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   721
            <transition localId="20" height="2" width="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   722
              <position x="400" y="653"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   723
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   724
                <relPosition x="10" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   725
                <connection refLocalId="22">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   726
                  <position x="410" y="653"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   727
                  <position x="410" y="626"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   728
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   729
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   730
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   731
                <relPosition x="10" y="2"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   732
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   733
              <condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   734
                <reference name="STOP"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   735
              </condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   736
            </transition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   737
            <jumpStep localId="21" height="13" width="12" targetName="Standstill">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   738
              <position x="404" y="694"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   739
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   740
                <relPosition x="6" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   741
                <connection refLocalId="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   742
                  <position x="410" y="694"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   743
                  <position x="410" y="655"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   744
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   745
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   746
            </jumpStep>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   747
            <selectionDivergence localId="22" height="1" width="159">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   748
              <position x="410" y="625"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   749
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   750
                <relPosition x="159" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   751
                <connection refLocalId="18">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   752
                  <position x="569" y="625"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   753
                  <position x="569" y="602"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   754
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   755
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   756
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   757
                <relPosition x="0" y="1"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   758
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   759
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   760
                <relPosition x="159" y="1"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   761
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   762
            </selectionDivergence>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   763
            <transition localId="23" height="2" width="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   764
              <position x="559" y="709"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   765
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   766
                <relPosition x="10" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   767
                <connection refLocalId="22">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   768
                  <position x="569" y="709"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   769
                  <position x="569" y="626"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   770
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   771
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   772
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   773
                <relPosition x="10" y="2"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   774
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   775
              <condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   776
                <inline name="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   777
                  <ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   778
                    <xhtml:p><![CDATA[STOP_PEDESTRIANS]]></xhtml:p>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   779
                  </ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   780
                </inline>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   781
              </condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   782
            </transition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   783
            <step localId="24" height="27" width="148" name="PEDESTRIAN_RED">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   784
              <position x="495" y="750"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   785
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   786
                <relPosition x="74" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   787
                <connection refLocalId="23">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   788
                  <position x="569" y="750"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   789
                  <position x="569" y="711"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   790
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   791
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   792
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   793
                <relPosition x="74" y="27"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   794
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   795
              <connectionPointOutAction formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   796
                <relPosition x="148" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   797
              </connectionPointOutAction>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   798
            </step>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   799
            <actionBlock localId="25" width="238" height="110">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   800
              <position x="708" y="748"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   801
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   802
                <relPosition x="0" y="15"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   803
                <connection refLocalId="24">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   804
                  <position x="708" y="763"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   805
                  <position x="643" y="763"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   806
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   807
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   808
              <action localId="0" qualifier="S">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   809
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   810
                <reference name="PEDESTRIAN_RED_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   811
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   812
              <action localId="0" qualifier="R">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   813
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   814
                <reference name="PEDESTRIAN_GREEN_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   815
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   816
              <action localId="0" qualifier="D" duration="T#2s">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   817
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   818
                <reference name="ALLOW_CARS"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   819
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   820
            </actionBlock>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   821
            <transition localId="26" height="2" width="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   822
              <position x="400" y="857"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   823
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   824
                <relPosition x="10" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   825
                <connection refLocalId="28">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   826
                  <position x="410" y="857"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   827
                  <position x="410" y="816"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   828
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   829
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   830
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   831
                <relPosition x="10" y="2"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   832
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   833
              <condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   834
                <reference name="STOP"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   835
              </condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   836
            </transition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   837
            <jumpStep localId="27" height="13" width="12" targetName="Standstill">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   838
              <position x="404" y="898"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   839
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   840
                <relPosition x="6" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   841
                <connection refLocalId="26">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   842
                  <position x="410" y="898"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   843
                  <position x="410" y="859"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   844
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   845
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   846
            </jumpStep>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   847
            <selectionDivergence localId="28" height="1" width="159">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   848
              <position x="410" y="815"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   849
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   850
                <relPosition x="159" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   851
                <connection refLocalId="24">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   852
                  <position x="569" y="815"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   853
                  <position x="569" y="777"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   854
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   855
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   856
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   857
                <relPosition x="0" y="1"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   858
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   859
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   860
                <relPosition x="159" y="1"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   861
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   862
            </selectionDivergence>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   863
            <transition localId="29" height="2" width="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   864
              <position x="559" y="879"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   865
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   866
                <relPosition x="10" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   867
                <connection refLocalId="28">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   868
                  <position x="569" y="879"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   869
                  <position x="569" y="816"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   870
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   871
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   872
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   873
                <relPosition x="10" y="2"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   874
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   875
              <condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   876
                <inline name="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   877
                  <ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   878
                    <xhtml:p><![CDATA[ALLOW_CARS]]></xhtml:p>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   879
                  </ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   880
                </inline>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   881
              </condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   882
            </transition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   883
            <step localId="30" height="27" width="56" name="GREEN">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   884
              <position x="541" y="933"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   885
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   886
                <relPosition x="28" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   887
                <connection refLocalId="29">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   888
                  <position x="569" y="933"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   889
                  <position x="569" y="881"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   890
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   891
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   892
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   893
                <relPosition x="28" y="27"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   894
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   895
              <connectionPointOutAction formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   896
                <relPosition x="56" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   897
              </connectionPointOutAction>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   898
            </step>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   899
            <actionBlock localId="31" width="154" height="110">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   900
              <position x="709" y="931"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   901
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   902
                <relPosition x="0" y="15"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   903
                <connection refLocalId="30">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   904
                  <position x="709" y="946"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   905
                  <position x="597" y="946"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   906
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   907
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   908
              <action localId="0" qualifier="S">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   909
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   910
                <reference name="GREEN_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   911
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   912
              <action localId="0" qualifier="R">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   913
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   914
                <reference name="RED_LIGHT"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   915
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   916
              <action localId="0" qualifier="D" duration="T#20s">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   917
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   918
                <reference name="WARN_CARS"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   919
              </action>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   920
            </actionBlock>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   921
            <block localId="32" width="89" height="94" typeName="TON" instanceName="TON3">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   922
              <position x="308" y="1053"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   923
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   924
                <variable formalParameter="IN">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   925
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   926
                    <relPosition x="0" y="38"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   927
                    <connection refLocalId="44" formalParameter="Q1">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   928
                      <position x="308" y="1091"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   929
                      <position x="291" y="1091"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   930
                      <position x="291" y="1065"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   931
                      <position x="274" y="1065"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   932
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   933
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   934
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   935
                <variable formalParameter="PT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   936
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   937
                    <relPosition x="0" y="75"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   938
                    <connection refLocalId="34">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   939
                      <position x="308" y="1128"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   940
                      <position x="270" y="1128"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   941
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   942
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   943
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   944
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   945
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   946
              <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   947
                <variable formalParameter="Q">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   948
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   949
                    <relPosition x="89" y="38"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   950
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   951
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   952
                <variable formalParameter="ET">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   953
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   954
                    <relPosition x="89" y="75"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   955
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   956
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   957
              </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   958
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   959
            <inVariable localId="33" height="27" width="159">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   960
              <position x="24" y="1052"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   961
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   962
                <relPosition x="159" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   963
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   964
              <expression>PEDESTRIAN_BUTTON</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   965
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   966
            <inVariable localId="34" height="27" width="43">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   967
              <position x="227" y="1115"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   968
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   969
                <relPosition x="43" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   970
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   971
              <expression>T#2s</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   972
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   973
            <block localId="35" width="67" height="60" typeName="OR">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   974
              <position x="459" y="1061"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   975
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   976
                <variable formalParameter="IN1">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   977
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   978
                    <relPosition x="0" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   979
                    <connection refLocalId="32" formalParameter="Q">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   980
                      <position x="459" y="1091"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   981
                      <position x="397" y="1091"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   982
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   983
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   984
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   985
                <variable formalParameter="IN2">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   986
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   987
                    <relPosition x="0" y="50"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   988
                    <connection refLocalId="36">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   989
                      <position x="459" y="1111"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   990
                      <position x="427" y="1111"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   991
                      <position x="427" y="1195"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   992
                      <position x="260" y="1195"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   993
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   994
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   995
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   996
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   997
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   998
              <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
   999
                <variable formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1000
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1001
                    <relPosition x="67" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1002
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1003
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1004
              </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1005
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1006
            <inVariable localId="36" height="27" width="97">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1007
              <position x="163" y="1182"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1008
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1009
                <relPosition x="97" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1010
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1011
              <expression>WARN_CARS</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1012
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1013
            <transition localId="37" height="2" width="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1014
              <position x="559" y="1090"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1015
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1016
                <relPosition x="10" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1017
                <connection refLocalId="38">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1018
                  <position x="569" y="1090"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1019
                  <position x="569" y="1060"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1020
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1021
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1022
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1023
                <relPosition x="10" y="2"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1024
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1025
              <condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1026
                <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1027
                  <connection refLocalId="35" formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1028
                    <position x="559" y="1091"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1029
                    <position x="526" y="1091"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1030
                  </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1031
                </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1032
              </condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1033
            </transition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1034
            <selectionDivergence localId="38" height="1" width="207">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1035
              <position x="569" y="1059"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1036
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1037
                <relPosition x="0" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1038
                <connection refLocalId="30">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1039
                  <position x="569" y="1059"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1040
                  <position x="569" y="960"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1041
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1042
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1043
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1044
                <relPosition x="0" y="1"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1045
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1046
              <connectionPointOut formalParameter="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1047
                <relPosition x="207" y="1"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1048
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1049
            </selectionDivergence>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1050
            <transition localId="39" height="2" width="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1051
              <position x="766" y="1095"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1052
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1053
                <relPosition x="10" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1054
                <connection refLocalId="38">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1055
                  <position x="776" y="1095"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1056
                  <position x="776" y="1060"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1057
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1058
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1059
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1060
                <relPosition x="10" y="2"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1061
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1062
              <condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1063
                <inline name="">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1064
                  <ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1065
                    <xhtml:p><![CDATA[NOT SWITCH_BUTTON]]></xhtml:p>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1066
                  </ST>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1067
                </inline>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1068
              </condition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1069
            </transition>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1070
            <jumpStep localId="41" height="13" width="12" targetName="ORANGE">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1071
              <position x="563" y="1137"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1072
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1073
                <relPosition x="6" y="0"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1074
                <connection refLocalId="37">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1075
                  <position x="569" y="1137"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1076
                  <position x="569" y="1092"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1077
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1078
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1079
            </jumpStep>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1080
            <block localId="44" width="50" height="60" typeName="SR" instanceName="SR0">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1081
              <position x="224" y="1035"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1082
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1083
                <variable formalParameter="S1">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1084
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1085
                    <relPosition x="0" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1086
                    <connection refLocalId="33">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1087
                      <position x="224" y="1065"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1088
                      <position x="183" y="1065"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1089
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1090
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1091
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1092
                <variable formalParameter="R">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1093
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1094
                    <relPosition x="0" y="50"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1095
                    <connection refLocalId="32" formalParameter="Q">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1096
                      <position x="224" y="1085"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1097
                      <position x="203" y="1085"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1098
                      <position x="203" y="1167"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1099
                      <position x="416" y="1167"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1100
                      <position x="416" y="1091"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1101
                      <position x="397" y="1091"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1102
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1103
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1104
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1105
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1106
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1107
              <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1108
                <variable formalParameter="Q1">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1109
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1110
                    <relPosition x="50" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1111
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1112
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1113
              </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1114
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1115
          </SFC>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1116
        </body>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1117
      </pou>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1118
      <pou name="main_program" pouType="program">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1119
        <interface>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1120
          <localVars>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1121
            <variable name="trafic_light_sequence0">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1122
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1123
                <derived name="traffic_light_sequence"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1124
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1125
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1126
            <variable name="SwitchButton">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1127
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1128
                <derived name="Button"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1129
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1130
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1131
            <variable name="PedestrianButton">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1132
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1133
                <derived name="Button"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1134
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1135
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1136
            <variable name="RedLight">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1137
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1138
                <derived name="Led"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1139
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1140
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1141
            <variable name="OrangeLight">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1142
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1143
                <derived name="Led"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1144
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1145
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1146
            <variable name="GreenLight">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1147
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1148
                <derived name="Led"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1149
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1150
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1151
            <variable name="PedestrianRedLight">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1152
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1153
                <derived name="Led"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1154
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1155
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1156
            <variable name="PedestrianGreenLight">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1157
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1158
                <derived name="Led"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1159
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1160
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1161
            <variable name="TEST_DATE">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1162
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1163
                <DATE/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1164
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1165
              <initialValue>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1166
                <simpleValue value="D#2012-12-03"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1167
              </initialValue>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1168
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1169
            <variable name="RESULT_STRING">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1170
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1171
                <string/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1172
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1173
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1174
            <variable name="TEST_STRING">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1175
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1176
                <string/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1177
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1178
              <initialValue>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1179
                <simpleValue value="TOTO"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1180
              </initialValue>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1181
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1182
            <variable name="TEST_ULINT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1183
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1184
                <ULINT/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1185
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1186
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1187
            <variable name="RESULT_INT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1188
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1189
                <INT/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1190
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1191
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1192
            <variable name="RESULT_BYTE">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1193
              <type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1194
                <BYTE/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1195
              </type>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1196
            </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1197
          </localVars>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1198
        </interface>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1199
        <body>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1200
          <FBD>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1201
            <block localId="1" width="349" height="836" typeName="traffic_light_sequence" instanceName="trafic_light_sequence0">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1202
              <position x="470" y="127"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1203
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1204
                <variable formalParameter="SWITCH_BUTTON">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1205
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1206
                    <relPosition x="0" y="101"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1207
                    <connection refLocalId="2" formalParameter="state_out">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1208
                      <position x="470" y="228"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1209
                      <position x="401" y="228"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1210
                      <position x="401" y="177"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1211
                      <position x="333" y="177"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1212
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1213
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1214
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1215
                <variable formalParameter="PEDESTRIAN_BUTTON">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1216
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1217
                    <relPosition x="0" y="264"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1218
                    <connection refLocalId="3" formalParameter="state_out">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1219
                      <position x="470" y="391"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1220
                      <position x="335" y="391"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1221
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1222
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1223
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1224
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1225
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1226
              <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1227
                <variable formalParameter="RED_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1228
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1229
                    <relPosition x="349" y="101"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1230
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1231
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1232
                <variable formalParameter="ORANGE_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1233
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1234
                    <relPosition x="349" y="264"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1235
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1236
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1237
                <variable formalParameter="GREEN_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1238
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1239
                    <relPosition x="349" y="427"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1240
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1241
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1242
                <variable formalParameter="PEDESTRIAN_RED_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1243
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1244
                    <relPosition x="349" y="590"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1245
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1246
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1247
                <variable formalParameter="PEDESTRIAN_GREEN_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1248
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1249
                    <relPosition x="349" y="753"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1250
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1251
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1252
              </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1253
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1254
            <block localId="2" width="143" height="183" typeName="Button" instanceName="SwitchButton">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1255
              <position x="190" y="141"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1256
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1257
                <variable formalParameter="back_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1258
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1259
                    <relPosition x="0" y="36"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1260
                    <connection refLocalId="5">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1261
                      <position x="190" y="177"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1262
                      <position x="136" y="177"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1263
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1264
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1265
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1266
                <variable formalParameter="sele_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1267
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1268
                    <relPosition x="0" y="68"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1269
                    <connection refLocalId="6">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1270
                      <position x="190" y="209"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1271
                      <position x="136" y="209"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1272
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1273
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1274
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1275
                <variable formalParameter="toggle">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1276
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1277
                    <relPosition x="0" y="100"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1278
                    <connection refLocalId="4">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1279
                      <position x="190" y="241"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1280
                      <position x="136" y="241"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1281
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1282
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1283
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1284
                <variable formalParameter="set_state">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1285
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1286
                    <relPosition x="0" y="132"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1287
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1288
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1289
                <variable formalParameter="state_in">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1290
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1291
                    <relPosition x="0" y="164"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1292
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1293
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1294
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1295
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1296
              <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1297
                <variable formalParameter="state_out">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1298
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1299
                    <relPosition x="143" y="36"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1300
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1301
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1302
              </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1303
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1304
            <block localId="3" width="143" height="198" typeName="Button" instanceName="PedestrianButton">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1305
              <position x="192" y="354"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1306
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1307
                <variable formalParameter="back_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1308
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1309
                    <relPosition x="0" y="37"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1310
                    <connection refLocalId="7">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1311
                      <position x="192" y="391"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1312
                      <position x="159" y="391"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1313
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1314
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1315
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1316
                <variable formalParameter="sele_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1317
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1318
                    <relPosition x="0" y="72"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1319
                    <connection refLocalId="8">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1320
                      <position x="192" y="426"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1321
                      <position x="159" y="426"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1322
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1323
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1324
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1325
                <variable formalParameter="toggle">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1326
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1327
                    <relPosition x="0" y="107"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1328
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1329
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1330
                <variable formalParameter="set_state">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1331
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1332
                    <relPosition x="0" y="142"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1333
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1334
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1335
                <variable formalParameter="state_in">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1336
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1337
                    <relPosition x="0" y="177"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1338
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1339
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1340
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1341
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1342
              <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1343
                <variable formalParameter="state_out">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1344
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1345
                    <relPosition x="143" y="37"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1346
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1347
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1348
              </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1349
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1350
            <inVariable localId="4" height="27" width="18">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1351
              <position x="118" y="228"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1352
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1353
                <relPosition x="18" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1354
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1355
              <expression>1</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1356
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1357
            <inVariable localId="5" height="27" width="105">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1358
              <position x="31" y="164"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1359
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1360
                <relPosition x="105" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1361
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1362
              <expression>'SWITCH_OFF'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1363
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1364
            <inVariable localId="6" height="27" width="105">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1365
              <position x="31" y="196"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1366
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1367
                <relPosition x="105" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1368
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1369
              <expression>'SWITCH_ON'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1370
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1371
            <inVariable localId="7" height="27" width="137">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1372
              <position x="22" y="378"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1373
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1374
                <relPosition x="137" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1375
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1376
              <expression>'PEDESTRIAN_OFF'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1377
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1378
            <inVariable localId="8" height="27" width="137">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1379
              <position x="22" y="413"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1380
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1381
                <relPosition x="137" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1382
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1383
              <expression>'PEDESTRIAN_ON'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1384
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1385
            <block localId="9" width="115" height="133" typeName="Led" instanceName="RedLight">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1386
              <position x="1057" y="116"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1387
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1388
                <variable formalParameter="back_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1389
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1390
                    <relPosition x="0" y="38"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1391
                    <connection refLocalId="10">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1392
                      <position x="1057" y="154"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1393
                      <position x="1010" y="154"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1394
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1395
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1396
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1397
                <variable formalParameter="sele_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1398
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1399
                    <relPosition x="0" y="75"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1400
                    <connection refLocalId="11">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1401
                      <position x="1057" y="191"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1402
                      <position x="1010" y="191"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1403
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1404
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1405
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1406
                <variable formalParameter="state_in">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1407
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1408
                    <relPosition x="0" y="112"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1409
                    <connection refLocalId="1" formalParameter="RED_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1410
                      <position x="1057" y="228"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1411
                      <position x="819" y="228"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1412
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1413
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1414
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1415
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1416
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1417
              <outputVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1418
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1419
            <inVariable localId="10" height="27" width="79">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1420
              <position x="931" y="141"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1421
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1422
                <relPosition x="79" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1423
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1424
              <expression>'RED_OFF'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1425
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1426
            <inVariable localId="11" height="27" width="79">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1427
              <position x="931" y="178"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1428
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1429
                <relPosition x="79" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1430
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1431
              <expression>'RED_ON'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1432
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1433
            <block localId="12" width="115" height="133" typeName="Led" instanceName="OrangeLight">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1434
              <position x="1058" y="279"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1435
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1436
                <variable formalParameter="back_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1437
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1438
                    <relPosition x="0" y="38"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1439
                    <connection refLocalId="13">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1440
                      <position x="1058" y="317"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1441
                      <position x="1010" y="317"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1442
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1443
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1444
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1445
                <variable formalParameter="sele_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1446
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1447
                    <relPosition x="0" y="75"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1448
                    <connection refLocalId="14">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1449
                      <position x="1058" y="354"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1450
                      <position x="1010" y="354"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1451
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1452
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1453
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1454
                <variable formalParameter="state_in">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1455
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1456
                    <relPosition x="0" y="112"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1457
                    <connection refLocalId="1" formalParameter="ORANGE_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1458
                      <position x="1058" y="391"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1459
                      <position x="819" y="391"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1460
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1461
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1462
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1463
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1464
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1465
              <outputVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1466
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1467
            <inVariable localId="13" height="27" width="111">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1468
              <position x="899" y="304"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1469
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1470
                <relPosition x="111" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1471
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1472
              <expression>'ORANGE_OFF'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1473
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1474
            <inVariable localId="14" height="27" width="106">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1475
              <position x="904" y="341"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1476
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1477
                <relPosition x="106" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1478
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1479
              <expression>'ORANGE_ON'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1480
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1481
            <block localId="15" width="115" height="133" typeName="Led" instanceName="GreenLight">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1482
              <position x="1058" y="442"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1483
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1484
                <variable formalParameter="back_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1485
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1486
                    <relPosition x="0" y="38"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1487
                    <connection refLocalId="16">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1488
                      <position x="1058" y="480"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1489
                      <position x="1010" y="480"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1490
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1491
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1492
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1493
                <variable formalParameter="sele_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1494
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1495
                    <relPosition x="0" y="75"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1496
                    <connection refLocalId="17">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1497
                      <position x="1058" y="517"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1498
                      <position x="1010" y="517"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1499
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1500
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1501
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1502
                <variable formalParameter="state_in">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1503
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1504
                    <relPosition x="0" y="112"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1505
                    <connection refLocalId="1" formalParameter="GREEN_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1506
                      <position x="1058" y="554"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1507
                      <position x="819" y="554"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1508
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1509
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1510
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1511
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1512
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1513
              <outputVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1514
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1515
            <inVariable localId="16" height="27" width="111">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1516
              <position x="899" y="467"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1517
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1518
                <relPosition x="111" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1519
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1520
              <expression>'GREEN_OFF'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1521
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1522
            <inVariable localId="17" height="27" width="106">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1523
              <position x="904" y="504"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1524
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1525
                <relPosition x="106" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1526
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1527
              <expression>'GREEN_ON'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1528
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1529
            <block localId="18" width="115" height="133" typeName="Led" instanceName="PedestrianRedLight">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1530
              <position x="1059" y="605"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1531
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1532
                <variable formalParameter="back_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1533
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1534
                    <relPosition x="0" y="38"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1535
                    <connection refLocalId="19">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1536
                      <position x="1059" y="643"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1537
                      <position x="1020" y="643"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1538
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1539
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1540
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1541
                <variable formalParameter="sele_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1542
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1543
                    <relPosition x="0" y="75"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1544
                    <connection refLocalId="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1545
                      <position x="1059" y="680"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1546
                      <position x="1020" y="680"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1547
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1548
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1549
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1550
                <variable formalParameter="state_in">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1551
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1552
                    <relPosition x="0" y="112"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1553
                    <connection refLocalId="1" formalParameter="PEDESTRIAN_RED_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1554
                      <position x="1059" y="717"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1555
                      <position x="819" y="717"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1556
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1557
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1558
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1559
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1560
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1561
              <outputVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1562
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1563
            <inVariable localId="19" height="27" width="171">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1564
              <position x="849" y="630"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1565
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1566
                <relPosition x="171" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1567
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1568
              <expression>'PEDESTRIAN_RED_OFF'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1569
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1570
            <inVariable localId="20" height="27" width="166">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1571
              <position x="854" y="667"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1572
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1573
                <relPosition x="166" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1574
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1575
              <expression>'PEDESTRIAN_RED_ON'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1576
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1577
            <block localId="21" width="115" height="133" typeName="Led" instanceName="PedestrianGreenLight">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1578
              <position x="1059" y="768"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1579
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1580
                <variable formalParameter="back_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1581
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1582
                    <relPosition x="0" y="38"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1583
                    <connection refLocalId="22">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1584
                      <position x="1059" y="806"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1585
                      <position x="1035" y="806"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1586
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1587
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1588
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1589
                <variable formalParameter="sele_id">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1590
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1591
                    <relPosition x="0" y="75"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1592
                    <connection refLocalId="23">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1593
                      <position x="1059" y="843"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1594
                      <position x="1035" y="843"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1595
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1596
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1597
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1598
                <variable formalParameter="state_in">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1599
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1600
                    <relPosition x="0" y="112"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1601
                    <connection refLocalId="1" formalParameter="PEDESTRIAN_GREEN_LIGHT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1602
                      <position x="1059" y="880"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1603
                      <position x="819" y="880"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1604
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1605
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1606
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1607
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1608
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1609
              <outputVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1610
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1611
            <inVariable localId="22" height="27" width="190">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1612
              <position x="845" y="793"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1613
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1614
                <relPosition x="190" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1615
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1616
              <expression>'PEDESTRIAN_GREEN_OFF'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1617
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1618
            <inVariable localId="23" height="27" width="185">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1619
              <position x="850" y="830"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1620
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1621
                <relPosition x="185" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1622
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1623
              <expression>'PEDESTRIAN_GREEN_ON'</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1624
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1625
            <inVariable localId="24" height="27" width="84">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1626
              <position x="289" y="1141"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1627
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1628
                <relPosition x="84" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1629
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1630
              <expression>TEST_DATE</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1631
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1632
            <block localId="25" width="128" height="40" typeName="DATE_TO_STRING">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1633
              <position x="426" y="1124"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1634
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1635
                <variable formalParameter="IN">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1636
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1637
                    <relPosition x="0" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1638
                    <connection refLocalId="24">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1639
                      <position x="426" y="1154"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1640
                      <position x="373" y="1154"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1641
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1642
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1643
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1644
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1645
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1646
              <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1647
                <variable formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1648
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1649
                    <relPosition x="128" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1650
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1651
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1652
              </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1653
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1654
            <outVariable localId="26" height="27" width="116">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1655
              <position x="640" y="1141"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1656
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1657
                <relPosition x="0" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1658
                <connection refLocalId="25" formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1659
                  <position x="640" y="1154"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1660
                  <position x="554" y="1154"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1661
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1662
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1663
              <expression>RESULT_STRING</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1664
            </outVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1665
            <inVariable localId="27" height="27" width="90">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1666
              <position x="294" y="1271"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1667
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1668
                <relPosition x="90" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1669
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1670
              <expression>TEST_ULINT</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1671
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1672
            <outVariable localId="28" height="27" width="89">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1673
              <position x="630" y="1271"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1674
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1675
                <relPosition x="0" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1676
                <connection refLocalId="29" formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1677
                  <position x="630" y="1284"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1678
                  <position x="551" y="1284"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1679
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1680
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1681
              <expression>RESULT_INT</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1682
            </outVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1683
            <block localId="29" width="107" height="40" typeName="ULINT_TO_INT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1684
              <position x="444" y="1254"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1685
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1686
                <variable formalParameter="IN">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1687
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1688
                    <relPosition x="0" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1689
                    <connection refLocalId="27">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1690
                      <position x="444" y="1284"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1691
                      <position x="384" y="1284"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1692
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1693
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1694
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1695
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1696
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1697
              <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1698
                <variable formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1699
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1700
                    <relPosition x="107" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1701
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1702
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1703
              </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1704
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1705
            <inVariable localId="30" height="27" width="89">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1706
              <position x="139" y="1032"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1707
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1708
                <relPosition x="89" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1709
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1710
              <expression>RESULT_INT</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1711
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1712
            <block localId="31" width="68" height="85" typeName="LIMIT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1713
              <position x="419" y="994"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1714
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1715
                <variable formalParameter="MN">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1716
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1717
                    <relPosition x="0" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1718
                    <connection refLocalId="33">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1719
                      <position x="419" y="1024"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1720
                      <position x="390" y="1024"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1721
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1722
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1723
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1724
                <variable formalParameter="IN">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1725
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1726
                    <relPosition x="0" y="51"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1727
                    <connection refLocalId="38" formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1728
                      <position x="419" y="1045"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1729
                      <position x="335" y="1045"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1730
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1731
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1732
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1733
                <variable formalParameter="MX">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1734
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1735
                    <relPosition x="0" y="72"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1736
                    <connection refLocalId="34">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1737
                      <position x="419" y="1066"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1738
                      <position x="404" y="1066"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1739
                      <position x="404" y="1067"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1740
                      <position x="389" y="1067"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1741
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1742
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1743
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1744
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1745
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1746
              <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1747
                <variable formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1748
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1749
                    <relPosition x="68" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1750
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1751
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1752
              </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1753
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1754
            <inVariable localId="33" height="27" width="20">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1755
              <position x="370" y="1011"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1756
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1757
                <relPosition x="20" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1758
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1759
              <expression>0</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1760
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1761
            <inVariable localId="34" height="27" width="26">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1762
              <position x="363" y="1054"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1763
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1764
                <relPosition x="26" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1765
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1766
              <expression>31</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1767
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1768
            <block localId="35" width="100" height="45" typeName="INT_TO_BYTE">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1769
              <position x="529" y="992"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1770
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1771
                <variable formalParameter="IN">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1772
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1773
                    <relPosition x="0" y="32"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1774
                    <connection refLocalId="31" formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1775
                      <position x="529" y="1024"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1776
                      <position x="487" y="1024"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1777
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1778
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1779
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1780
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1781
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1782
              <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1783
                <variable formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1784
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1785
                    <relPosition x="100" y="32"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1786
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1787
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1788
              </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1789
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1790
            <outVariable localId="37" height="27" width="100">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1791
              <position x="681" y="1011"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1792
              <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1793
                <relPosition x="0" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1794
                <connection refLocalId="35" formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1795
                  <position x="681" y="1024"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1796
                  <position x="629" y="1024"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1797
                </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1798
              </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1799
              <expression>RESULT_BYTE</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1800
            </outVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1801
            <block localId="38" width="67" height="60" typeName="MUL">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1802
              <position x="268" y="1015"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1803
              <inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1804
                <variable formalParameter="IN1">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1805
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1806
                    <relPosition x="0" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1807
                    <connection refLocalId="30">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1808
                      <position x="268" y="1045"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1809
                      <position x="228" y="1045"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1810
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1811
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1812
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1813
                <variable formalParameter="IN2">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1814
                  <connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1815
                    <relPosition x="0" y="50"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1816
                    <connection refLocalId="39">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1817
                      <position x="268" y="1065"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1818
                      <position x="248" y="1065"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1819
                      <position x="248" y="1084"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1820
                      <position x="229" y="1084"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1821
                    </connection>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1822
                  </connectionPointIn>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1823
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1824
              </inputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1825
              <inOutVariables/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1826
              <outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1827
                <variable formalParameter="OUT">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1828
                  <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1829
                    <relPosition x="67" y="30"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1830
                  </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1831
                </variable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1832
              </outputVariables>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1833
            </block>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1834
            <inVariable localId="39" height="27" width="18">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1835
              <position x="211" y="1071"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1836
              <connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1837
                <relPosition x="18" y="13"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1838
              </connectionPointOut>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1839
              <expression>1</expression>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1840
            </inVariable>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1841
          </FBD>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1842
        </body>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1843
      </pou>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1844
    </pous>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1845
  </types>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1846
  <instances>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1847
    <configurations>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1848
      <configuration name="config">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1849
        <resource name="resource1">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1850
          <task name="test_task" interval="T#100ms" priority="0">
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1851
            <pouInstance name="main_instance" typeName="main_program"/>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1852
          </task>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1853
        </resource>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1854
      </configuration>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1855
    </configurations>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1856
  </instances>
45935812f930 Added example of SFC simulating traffic lights
Laurent Bessard
parents:
diff changeset
  1857
</project>