136:
283:
22:
157:
324:
46:
of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be
208:
98:
180:
70:
227:
117:
187:
77:
348:
194:
161:
84:
43:
176:
66:
317:
39:
55:
146:
165:
150:
310:
248:
201:
91:
32:
343:
51:
47:
290:
294:
337:
265:
244:
135:
252:
282:
38:
Please help to demonstrate the notability of the topic by citing
129:
15:
298:
318:
8:
164:. Unsourced material may be challenged and
325:
311:
266:"Maria: The Modular Reachability Analyzer"
247:analyzer for concurrent systems that uses
228:Learn how and when to remove this message
118:Learn how and when to remove this message
241:Maria: The Modular Reachability Analyzer
7:
279:
277:
162:adding citations to reliable sources
177:"Maria" reachability analyzer
67:"Maria" reachability analyzer
14:
281:
134:
20:
255:) as its modelling formalism.
1:
297:. You can help Knowledge by
33:general notability guideline
365:
276:
40:reliable secondary sources
29:The topic of this article
251:(a high-level variant of
31:may not meet Knowledge's
349:Computer science stubs
249:Algebraic System Nets
158:improve this article
35:
306:
305:
238:
237:
230:
212:
128:
127:
120:
102:
30:
356:
327:
320:
313:
291:computer science
285:
278:
273:
233:
226:
222:
219:
213:
211:
170:
138:
130:
123:
116:
112:
109:
103:
101:
60:
24:
23:
16:
364:
363:
359:
358:
357:
355:
354:
353:
334:
333:
332:
331:
264:
261:
234:
223:
217:
214:
171:
169:
155:
139:
124:
113:
107:
104:
61:
59:
37:
25:
21:
12:
11:
5:
362:
360:
352:
351:
346:
336:
335:
330:
329:
322:
315:
307:
304:
303:
286:
275:
274:
270:www.tcs.hut.fi
260:
259:External links
257:
236:
235:
142:
140:
133:
126:
125:
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
361:
350:
347:
345:
342:
341:
339:
328:
323:
321:
316:
314:
309:
308:
302:
300:
296:
293:article is a
292:
287:
284:
280:
271:
267:
263:
262:
258:
256:
254:
250:
246:
242:
232:
229:
221:
210:
207:
203:
200:
196:
193:
189:
186:
182:
179: –
178:
174:
173:Find sources:
167:
163:
159:
153:
152:
148:
143:This article
141:
137:
132:
131:
122:
119:
111:
100:
97:
93:
90:
86:
83:
79:
76:
72:
69: –
68:
64:
63:Find sources:
57:
53:
49:
45:
41:
34:
27:
18:
17:
299:expanding it
288:
269:
245:reachability
240:
239:
224:
215:
205:
198:
191:
184:
172:
156:Please help
144:
114:
105:
95:
88:
81:
74:
62:
44:independent
344:Petri nets
338:Categories
253:Petri nets
188:newspapers
78:newspapers
52:redirected
145:does not
42:that are
218:May 2022
108:May 2013
202:scholar
166:removed
151:sources
92:scholar
56:deleted
204:
197:
190:
183:
175:
94:
87:
80:
73:
65:
48:merged
289:This
243:is a
209:JSTOR
195:books
99:JSTOR
85:books
54:, or
295:stub
181:news
149:any
147:cite
71:news
160:by
340::
268:.
50:,
326:e
319:t
312:v
301:.
272:.
231:)
225:(
220:)
216:(
206:·
199:·
192:·
185:·
168:.
154:.
121:)
115:(
110:)
106:(
96:·
89:·
82:·
75:·
58:.
36:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.