-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathone-split-PetriNet.pnml
69 lines (69 loc) · 1.98 KB
/
one-split-PetriNet.pnml
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
<?xml version='1.0' encoding='UTF-8'?>
<pnml>
<net id="net1" type="http://www.pnml.org/version-2009/grammar/pnmlcoremodel">
<page id="n0">
<place id="source">
<name>
<text>source</text>
</name>
<initialMarking>
<text>1</text>
</initialMarking>
</place>
<place id="p_1">
<name>
<text>p_1</text>
</name>
</place>
<place id="p_2">
<name>
<text>p_2</text>
</name>
</place>
<place id="sink">
<name>
<text>sink</text>
</name>
</place>
<transition id="name_1">
<name>
<text>label_1</text>
</name>
</transition>
<transition id="name_3" guard="A < 5 || (cat_2 > 0.5 && A == -1)">
<name>
<text>label_3</text>
</name>
<readVariable>A</readVariable>
<readVariable>cat_2</readVariable>
</transition>
<transition id="name_2" guard="A >= 5 || (cat_1 > 0.5 && A == -1)">
<name>
<text>label_2</text>
</name>
<readVariable>A</readVariable>
<readVariable>cat_1</readVariable>
</transition>
<transition id="name_4">
<name>
<text>label_4</text>
</name>
</transition>
<arc id="140442860395872" source="name_2" target="p_2"/>
<arc id="140442860393856" source="name_3" target="p_2"/>
<arc id="140442860395344" source="source" target="name_1"/>
<arc id="140442860392560" source="name_1" target="p_1"/>
<arc id="140442860395920" source="p_1" target="name_3"/>
<arc id="140442860393424" source="p_1" target="name_2"/>
<arc id="140442860395632" source="p_2" target="name_4"/>
<arc id="140442860395248" source="name_4" target="sink"/>
</page>
<finalmarkings>
<marking>
<place idref="sink">
<text>1</text>
</place>
</marking>
</finalmarkings>
</net>
</pnml>