75:
221:
211:
216:
126:
36:
231:
148:
80:
58:
192:
163:
180:
114:
70:
175:
136:
97:
226:
48:
153:
17:
205:
131:
158:
53:
22:
102:
92:
35:
The following 20 pages are in this category, out of 20 total.
8:
76:Architecture Design and Assessment System
37:This list may not reflect recent changes
7:
41:
29:
14:
222:Concurrency (computer science)
212:Formal specification languages
32:Pages in category "Petri nets"
1:
127:Maria (reachability analyzer)
248:
16:The main article for this
15:
149:Petri Net Markup Language
81:Augmented marked graph
59:Vector addition system
217:Models of computation
193:Well-formed Petri net
164:Prioritised Petri net
181:Stochastic Petri net
115:Dualistic Petri nets
71:Algebraic Petri net
232:Modeling languages
176:Slicing Petri nets
137:Multiple buffering
98:Coloured Petri net
239:
49:Nets within Nets
247:
246:
242:
241:
240:
238:
237:
236:
202:
201:
200:
199:
198:
197:
185:
168:
154:Carl Adam Petri
141:
119:
107:
85:
63:
28:
27:
12:
11:
5:
245:
243:
235:
234:
229:
224:
219:
214:
204:
203:
196:
195:
189:
186:
184:
183:
178:
172:
169:
167:
166:
161:
156:
151:
145:
142:
140:
139:
134:
129:
123:
120:
118:
117:
111:
108:
106:
105:
100:
95:
89:
86:
84:
83:
78:
73:
67:
64:
62:
61:
56:
51:
45:
43:
42:
33:
30:
13:
10:
9:
6:
4:
3:
2:
244:
233:
230:
228:
225:
223:
220:
218:
215:
213:
210:
209:
207:
194:
191:
190:
187:
182:
179:
177:
174:
173:
170:
165:
162:
160:
157:
155:
152:
150:
147:
146:
143:
138:
135:
133:
130:
128:
125:
124:
121:
116:
113:
112:
109:
104:
101:
99:
96:
94:
91:
90:
87:
82:
79:
77:
74:
72:
69:
68:
65:
60:
57:
55:
52:
50:
47:
46:
44:
40:
38:
31:
25:
24:
19:
132:Marked graph
34:
21:
159:Petriscript
206:Categories
54:Petri net
23:Petri net
227:Diagrams
18:category
103:CPN-AMI
93:CO-OPN
20:is
208::
39:.
188:W
171:S
144:P
122:M
110:D
88:C
66:A
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.