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
2
207
3
303
1
170
2
183
0
132
0
90
1
219
Results - output
Answered
1
105
3
386
1
425
0
96
2
410
0
74
1
221
LTL Checker Errors
Answered ✓
5
178
1
99
3
548
2
137
0
117
1
171
0
148
0
164
0
422
5
425
2
140
1
159
6
798
2
378
0
299
1
179