pn2ccs/examples/pnml/s03-sync-patterns.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
72
73
74
75
76
77
<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
  <net id="n1" type="http://www.pnml.org/version-2009/grammar/ptnet">
    <name>
     <text>s03-sync-patterns</text>
    </name>
    <page id="top-level">
      <place id="p1">
        <name>
          <text>p1</text>
        </name>
        <graphics>
          <position x="110" y="60" />
        </graphics>
        <initialMarking>
          <text>0</text>
        </initialMarking>
      </place>
      <place id="p2">
        <name>
          <text>p2</text>
        </name>
        <graphics>
          <position x="110" y="130" />
        </graphics>
        <initialMarking>
          <text>0</text>
        </initialMarking>
      </place>
      <place id="p3">
        <name>
          <text>p3</text>
        </name>
        <graphics>
          <position x="110" y="200" />
        </graphics>
        <initialMarking>
          <text>0</text>
        </initialMarking>
      </place>
      <place id="p4">
        <name>
          <text>p4</text>
        </name>
        <graphics>
          <position x="110" y="270" />
        </graphics>
        <initialMarking>
          <text>0</text>
        </initialMarking>
      </place>
      <transition id="t1">
        <name>
          <text>a</text>
        </name>
        <graphics>
          <position x="220" y="100" />
        </graphics>
      </transition>
      <transition id="t2">
        <name>
          <text>b</text>
        </name>
        <graphics>
          <position x="220" y="230" />
        </graphics>
      </transition>
      <arc id="e0" source="p1" target="t1"></arc>
      <arc id="e1" source="p2" target="t1"></arc>
      <arc id="e2" source="p3" target="t2"></arc>
      <arc id="e3" source="p4" target="t2"></arc>
      <arc id="e4" source="p1" target="t2"></arc>
      <arc id="e5" source="p2" target="t2"></arc>
      <arc id="e6" source="p3" target="t1"></arc>
      <arc id="e7" source="p4" target="t1"></arc>
    </page>
  </net>
</pnml>