-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathproducer-consumer.pflow
137 lines (137 loc) · 3.58 KB
/
producer-consumer.pflow
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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
<?xml version="1.0" encoding="UTF-8"?><document>
<id/>
<x/>
<y/>
<label/>
<subnet>
<id/>
<x>0</x>
<y>0</y>
<label/>
<place>
<id>20</id>
<x>-341</x>
<y>-108</y>
<label>a</label>
<tokens>0</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>21</id>
<x>-239</x>
<y>-100</y>
<label>b</label>
<tokens>0</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>22</id>
<x>-108</x>
<y>-104</y>
<label>c</label>
<tokens>0</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>23</id>
<x>8</x>
<y>-98</y>
<label>d</label>
<tokens>0</tokens>
<isStatic>false</isStatic>
</place>
<place>
<id>24</id>
<x>115</x>
<y>-96</y>
<label>e</label>
<tokens>0</tokens>
<isStatic>false</isStatic>
</place>
<transition>
<id>25</id>
<x>-282</x>
<y>-176</y>
<label>u</label>
</transition>
<transition>
<id>26</id>
<x>-288</x>
<y>-36</y>
<label>v</label>
</transition>
<transition>
<id>27</id>
<x>65</x>
<y>-25</y>
<label>q</label>
</transition>
<transition>
<id>28</id>
<x>66</x>
<y>-173</y>
<label>p</label>
</transition>
<arc>
<type>regular</type>
<sourceId>23</sourceId>
<destinationId>28</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>27</sourceId>
<destinationId>23</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>24</sourceId>
<destinationId>27</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>28</sourceId>
<destinationId>24</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>22</sourceId>
<destinationId>28</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>26</sourceId>
<destinationId>22</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>26</sourceId>
<destinationId>21</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>20</sourceId>
<destinationId>26</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>25</sourceId>
<destinationId>20</destinationId>
<multiplicity>1</multiplicity>
</arc>
<arc>
<type>regular</type>
<sourceId>21</sourceId>
<destinationId>25</destinationId>
<multiplicity>1</multiplicity>
</arc>
</subnet>
<roles/>
</document>