To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

- Development

Questions about developing plug-ins / packages for ProM 6 go in here...
Discussion
Started By
Replies
Views
Most Recent
Results - output
Answered
1
99
3
358
1
415
0
93
2
394
0
72
1
219
LTL Checker Errors
Answered ✓
5
173
1
99
3
516
2
134
0
116
1
171
0
147
0
162
0
404
5
422
2
138
1
156
6
789
2
367
0
298
1
178
3
281
no read XEvent
Answered
5
262
4
2K
4
562
12
1.4K
5
353
1
184