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
0
90
1
216
Results - output
Answered
1
102
3
373
1
422
0
96
2
407
0
74
1
221
LTL Checker Errors
Answered ✓
5
175
1
99
3
534
2
135
0
117
1
171
0
148
0
163
0
413
5
423
2
140
1
158
6
795
2
375
0
299
1
179
3
284
no read XEvent
Answered
5
266
4
2.1K
4
571
12
1.4K