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 List

Discussion
Started By
Replies
Views
Most Recent
3
188
4
1K
2
224
2
237
3
372
1
224
2
262
0
169
0
123
1
283
Results - output
Answered
1
146
3
571
1
501
0
113
2
486
0
91
1
278
LTL Checker Errors
Accepted Answer
5
251
1
128
3
646
2
233
0
143
1
209
0
182
0
194
0
590
5
463
2
224
Frequency of event in log
Accepted Answer
1
187
6
901