34:
Coloured Petri nets preserve useful properties of Petri nets and at the same time extend the initial formalism to allow the distinction between tokens.
41:. Although the color can be of arbitrarily complex type, places in coloured Petri nets usually contain tokens of one type. This type is called the
211:
Use of node function and arc expression function allows multiple arcs connect the same pair of nodes with different arc expressions.
297:
279:
153:Σ is a set of color sets. This set contains all possible colors, operations and functions used within the coloured Petri net.
246:. The initialization expression must evaluate to multiset of tokens with a color corresponding to the color of the place
207:. The input and output types of the arc expressions must correspond to the type of the nodes the arc is connected to.
37:
Coloured Petri nets allow tokens to have a data value attached to them. This attached data value is called the token
289:
20:
324:
230:. The output of the guard expression should evaluate to a Boolean value (true or false). If false,
283:
293:
242:
is an initialization function. It maps each place p into an initialization expression
318:
125:
In coloured Petri nets, sets of places, transitions and arcs are pairwise disjoint
24:
259:
28:
258:
A well-known program for working with coloured Petri nets is
195:is an arc expression function. It maps each arc
218:is a guard function. It maps each transition
8:
288:(2 ed.). Berlin: Heidelberg. pp.
271:
159:is a color function. It maps places in
7:
14:
1:
169:is a node function. It maps
341:
226:to a guard expression
203:into the expression
285:Coloured Petri Nets
21:backward compatible
17:Coloured Petri nets
163:into colors in Σ.
23:extension of the
332:
304:
303:
276:
234:cannot be fired.
340:
339:
335:
334:
333:
331:
330:
329:
315:
314:
313:
308:
307:
300:
278:
277:
273:
268:
12:
11:
5:
338:
336:
328:
327:
317:
316:
312:
311:External links
309:
306:
305:
298:
270:
269:
267:
264:
256:
255:
236:
235:
209:
208:
190:
164:
154:
123:
122:
113:
103:
45:of the place.
13:
10:
9:
6:
4:
3:
2:
337:
326:
323:
322:
320:
310:
301:
299:3-540-60943-1
295:
291:
287:
286:
281:
275:
272:
265:
263:
261:
253:
249:
245:
241:
238:
237:
233:
229:
225:
221:
217:
214:
213:
212:
206:
202:
198:
194:
191:
188:
184:
180:
176:
172:
168:
165:
162:
158:
155:
152:
151:
150:
148:
144:
140:
136:
132:
128:
121:
117:
114:
111:
107:
104:
101:
97:
94:
93:
92:
90:
86:
82:
78:
74:
70:
66:
62:
58:
54:
50:
49:Definition 1.
46:
44:
40:
35:
32:
30:
26:
22:
18:
284:
280:Jensen, Kurt
274:
257:
251:
247:
243:
239:
231:
227:
223:
219:
215:
210:
204:
200:
196:
192:
186:
182:
178:
174:
170:
166:
160:
156:
146:
142:
138:
134:
130:
126:
124:
119:
118:is a set of
115:
109:
108:is a set of
105:
99:
98:is a set of
95:
88:
84:
80:
76:
72:
68:
64:
60:
56:
52:
48:
47:
42:
38:
36:
33:
25:mathematical
16:
15:
110:transitions
55:is a tuple
27:concept of
325:Petri nets
266:References
29:Petri nets
91:) where:
43:color set
319:Category
282:(1996).
260:cpntools
296:
173:into (
100:places
19:are a
181:) ∪ (
71:, Σ,
39:color
294:ISBN
149:= ∅
120:arcs
290:234
59:= (
53:net
321::
292:.
262:.
254:).
222:∈
199:∈
189:).
185:×
177:×
145:∩
141:=
137:∩
133:=
129:∩
87:,
83:,
79:,
75:,
67:,
63:,
51:A
31:.
302:.
252:p
250:(
248:C
244:i
240:I
232:t
228:g
224:T
220:t
216:G
205:e
201:A
197:a
193:E
187:P
183:T
179:T
175:P
171:A
167:N
161:P
157:C
147:A
143:T
139:A
135:P
131:T
127:P
116:A
112:.
106:T
102:.
96:P
89:I
85:G
81:E
77:N
73:C
69:A
65:T
61:P
57:N
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.