This week, many accounts have been deleted by accident from the ProM forum.

Due to an excessive amount of bogus accounts, we decided a while back that new subscribers were to be treated as applicants, rather than as immediately as members. However, this only shifted the problem, as we now had an excessive amount of applicants. For this reason, new subscribers now need to be invited by an administrator (that would be me). In the process of removing all the bogus applicants, accounts of members have been deleted by accident. We did not realize (in time) that members were still listed as applicants, and that by rejecting an applicant one deletes the associated member as well :-(. So, as a result of rejecting pending applicants, accounts of members were deleted. Sorry for that, won't happen again.

Former members can send me an e-mail (h DOT m DOT w DOT verbeek AT tue DOT nl) asking for an invitation. Also, if you would like to join the forum, please send me an e-mail asking for an invitation.

Eric Verbeek.

[ProM-developers] Moving models into packages
  • JBuijsJBuijs
    Posts: 389
    Eric Verbeek just send this message to the ProM-Developers mailing list:

    Dear all,

    In the next few days, we will copy the various models (Petri nets, transition systems, fuzzy models, EPCs, …) into separate packages. While doing so, we will update the dependencies in the repositories. Nevertheless, there could be ‘ glitches’, please let us know when you detect such a glitch, so we can fit it.

    After everything has been copied, we will start removing the corresponding sources from the models project. In this stage, you might have to add jar files of other packages into your packagelib folders, as the support for these models will have been removed from the models project.

    Until further notice, please do not make changes to the models (or accept the fact that you might have to redo your changes, of course).

    Kind regards,

    Eric.
    Joos Buijs
    Forum Admin
Add a Comment

Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Sign In Apply for Membership

Categories

Tagged