259:
25:
300:
329:
324:
244:
293:
211:
Applications and Theory of Petri Nets 2003: 24th
International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
219:
125:
286:
108:
46:
334:
137:
89:
209:
167:
61:
68:
42:
35:
75:
183:
133:
156:
57:
339:
166:
Since 2016 CPN-AMI has been listed by the owners as "still available but not maintained any more" (
152:
215:
266:
171:
270:
160:
141:
136:—and to evaluate properties such as invariants (preservation of resources), absence of
151:
with syntactic facilities. Well Formed Petri nets were jointly elaborated between the
318:
82:
188:
24:
258:
148:
129:
163:, and thus provides a very compressed way to store all states of a system.
159:
in the early 1990s. This Petri net class supports symbolic techniques for
132:
specifications. It provides the ability to specify the behavior of a
18:
238:
274:
144:
properties (relations between events in the system).
49:. Unsourced material may be challenged and removed.
147:CPN-AMI relies on AMI-Nets, that are well-formed
294:
208:Aalst, Wil van der; Best, Eike (2007-09-04).
8:
301:
287:
214:. Springer Science & Business Media.
155:6 (Université P. & M. Curie) and the
109:Learn how and when to remove this message
200:
7:
255:
253:
47:adding citations to reliable sources
330:Integrated development environments
126:computer-aided software engineering
14:
257:
23:
16:Software engineering environment
325:Computer programming tool stubs
34:needs additional citations for
239:More information about CPN-AMI
174: (archived May 5, 2016)).
1:
273:. You can help Knowledge by
356:
252:
269:-related article is a
184:Well-formed Petri net
128:environment based on
335:Formal methods tools
157:University of Torino
43:improve this article
153:University of Paris
168:Lib6/MoVe Software
134:distributed system
282:
281:
221:978-3-540-44919-5
119:
118:
111:
93:
347:
303:
296:
289:
267:programming-tool
261:
254:
226:
225:
205:
114:
107:
103:
100:
94:
92:
51:
27:
19:
355:
354:
350:
349:
348:
346:
345:
344:
315:
314:
313:
308:
307:
250:
235:
230:
229:
222:
207:
206:
202:
197:
180:
172:Wayback Machine
140:, liveness, or
115:
104:
98:
95:
52:
50:
40:
28:
17:
12:
11:
5:
353:
351:
343:
342:
337:
332:
327:
317:
316:
312:
309:
306:
305:
298:
291:
283:
280:
279:
262:
248:
247:
245:BNF of AMI-Net
242:
234:
233:External links
231:
228:
227:
220:
199:
198:
196:
193:
192:
191:
186:
179:
176:
161:model checking
142:temporal logic
117:
116:
99:September 2023
31:
29:
22:
15:
13:
10:
9:
6:
4:
3:
2:
352:
341:
338:
336:
333:
331:
328:
326:
323:
322:
320:
310:
304:
299:
297:
292:
290:
285:
284:
278:
276:
272:
268:
263:
260:
256:
251:
246:
243:
240:
237:
236:
232:
223:
217:
213:
212:
204:
201:
194:
190:
187:
185:
182:
181:
177:
175:
173:
169:
164:
162:
158:
154:
150:
145:
143:
139:
135:
131:
127:
123:
113:
110:
102:
91:
88:
84:
81:
77:
74:
70:
67:
63:
60: –
59:
55:
54:Find sources:
48:
44:
38:
37:
32:This article
30:
26:
21:
20:
275:expanding it
264:
249:
210:
203:
165:
146:
121:
120:
105:
96:
86:
79:
72:
65:
53:
41:Please help
36:verification
33:
189:Petriscript
340:Petri nets
319:Categories
311:References
195:References
149:Petri nets
69:newspapers
138:deadlocks
130:Petri Net
58:"CPN-AMI"
178:See also
170:at the
122:CPN-AMI
83:scholar
218:
85:
78:
71:
64:
56:
265:This
124:is a
90:JSTOR
76:books
271:stub
216:ISBN
62:news
45:by
321::
302:e
295:t
288:v
277:.
241:.
224:.
112:)
106:(
101:)
97:(
87:·
80:·
73:·
66:·
39:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.