pn2ccs/examples/pnml/17-group-choice-before.pnml at main · processintelligence/pn2ccs · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
  <net id="n1" type="http://www.pnml.org/version-2009/grammar/ptnet">
    <name>
     <text>17-group-choice-before</text>
    </name>
    <page id="top-level">
      <place id="p1">
        <name>
          <text>p1</text>
        </name>
        <graphics>
          <position x="230" y="90" />
        </graphics>
        <initialMarking>
          <text>0</text>
        </initialMarking>
      </place>
      <place id="p2">
        <name>
          <text>p2</text>
        </name>
        <graphics>
          <position x="230" y="190" />
        </graphics>
        <initialMarking>
          <text>0</text>
        </initialMarking>
      </place>
      <place id="p3">
        <name>
          <text>p3</text>
        </name>
        <graphics>
          <position x="230" y="290" />
        </graphics>
        <initialMarking>
          <text>0</text>
        </initialMarking>
      </place>
      <transition id="t1">
        <name>
          <text>a</text>
        </name>
        <graphics>
          <position x="370" y="90" />
        </graphics>
      </transition>
      <transition id="t2">
        <name>
          <text>b</text>
        </name>
        <graphics>
          <position x="370" y="190" />
        </graphics>
      </transition>
      <transition id="t3">
        <name>
          <text>c</text>
        </name>
        <graphics>
          <position x="370" y="290" />
        </graphics>
      </transition>
      <arc id="e0" source="p1" target="t1"></arc>
      <arc id="e1" source="p2" target="t1"></arc>
      <arc id="e2" source="p2" target="t2"></arc>
      <arc id="e3" source="p3" target="t3"></arc>
      <arc id="e4" source="p1" target="t2"></arc>
    </page>
  </net>
</pnml>