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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
<net id="ComposedModel" type="http://www.pnml.org/version-2009/grammar/ptnet">
<page id="page0">
<place id="P0">
<graphics>
<position x="330" y="150"/>
</graphics>
<name>
<graphics>
<offset x="-5" y="35"/>
</graphics>
<text>P0</text>
</name>
<initialMarking>
<text>1</text>
</initialMarking>
</place>
<place id="P1">
<graphics>
<position x="510" y="300"/>
</graphics>
<name>
<graphics>
<offset x="-5" y="35"/>
</graphics>
<text>P1</text>
</name>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="P2">
<graphics>
<position x="510" y="480"/>
</graphics>
<name>
<graphics>
<offset x="-5" y="35"/>
</graphics>
<text>P2</text>
</name>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<place id="P3">
<graphics>
<position x="315" y="480"/>
</graphics>
<name>
<graphics>
<offset x="-5" y="35"/>
</graphics>
<text>P3</text>
</name>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<transition id="T0">
<name>
<graphics>
<offset x="-5" y="35"/>
</graphics>
<text>T0</text>
</name>
<graphics>
<position x="330" y="285"/>
</graphics>
</transition>
<transition id="T1">
<name>
<graphics>
<offset x="-5" y="35"/>
</graphics>
<text>T1</text>
</name>
<graphics>
<position x="510" y="390"/>
</graphics>
</transition>
<arc id="P0_to_T0" source="P0" target="T0" type="normal"/>
<arc id="P1_to_T1" source="P1" target="T1" type="normal"/>
<arc id="T0_to_P3" source="T0" target="P3" type="normal"/>
<arc id="T0_to_P1" source="T0" target="P1" type="normal"/>
<arc id="T1_to_P2" source="T1" target="P2" type="normal"/>
</page>
<name>
<text>ComposedModel</text>
</name>
</net>
</pnml>
|