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
4
995
2
205
2
221
3
356
1
209
2
235
0
160
0
108
1
270
Results - output
Answered
1
129
3
531
1
479
0
104
2
464
0
84
1
263
LTL Checker Errors
Accepted Answer
5
236
1
117
3
629
2
200
0
135
1
195
0
170
0
186
0
562
5
450
2
208
Frequency of event in log
Accepted Answer
1
179
6
879
2
418