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
176
3
132
2
143
4
218
3
154
4
808
2
147
2
210
3
309
1
174
2
189
0
134
0
91
1
222
Results - output
Answered
1
109
3
408
1
434
0
96
2
417
0
77
1
223
LTL Checker Errors
Answered ✓
5
182
1
99
3
560
2
138
0
119
1
171
0
150
0
168
0
443