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
1
163
2
235
2
137
2
195
3
142
2
147
4
225
3
156
4
875
2
161
2
212
3
320
1
181
2
203
0
143
0
95
1
229
Results - output
Answered
1
117
3
447
1
437
0
101
2
433
0
81
1
228
LTL Checker Errors
Answered ✓
5
195
1
103
3
596
2
146
0
123
1
176