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.

Conformance checking and initial marking

Hello everyone,

I'm trying to proceed with a conformance checking between a petri net from a mined model and my event log and I keep receiving a message about initial markings that I should add. Can someones please explain how i do that ?

Thank you


  • hverbeekhverbeek Posts: 483
    edited July 2019

    Which plugins (discovery, conformance, ...) are you trying to use?

    In general, if you have a Petri net 'net' with the marking 'initialMarking' as initial marking, then you need to create an InitialMarkingConnection in to make ProM aware of the relation between the net and the marking:
                context.getProvidedObjectManager().createProvidedObject("Initial marking for " + net.getLabel(), 
    initialMarking, Marking.class, context);
    context.addConnection(new InitialMarkingConnection(net, initialMarking));

    where 'context' is your current plugin context.

    Kind regards,

    Post edited by hverbeek on
Sign In or Register to comment.