Package org.processmining.plugins.petrinet.behavioralanalysis

Class RelaxedSoundnessAnalyzer

  • public class RelaxedSoundnessAnalyzer
extends java.lang.Object
    Relaxed soundness checker using LoLA Assuming that the Petri net has interleaving semantics
    Author:
    arya

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.Object[] analyzeRelaxedSoundPetriNet​(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking state)  
      java.lang.Object[] analyzeRelaxedSoundPetriNet​(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.semantics.petrinet.PetrinetSemantics semantics)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • RelaxedSoundnessAnalyzer

        public RelaxedSoundnessAnalyzer()

    • Method Detail

      • analyzeRelaxedSoundPetriNet

        public java.lang.Object[] analyzeRelaxedSoundPetriNet​(org.processmining.framework.plugin.PluginContext context,
                                                      org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                      org.processmining.models.semantics.petrinet.Marking state)
                                               throws org.processmining.framework.connections.ConnectionCannotBeObtained
        Throws:
        org.processmining.framework.connections.ConnectionCannotBeObtained

      • analyzeRelaxedSoundPetriNet

        public java.lang.Object[] analyzeRelaxedSoundPetriNet​(org.processmining.framework.plugin.PluginContext context,
                                                      org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                      org.processmining.models.semantics.petrinet.Marking state,
                                                      org.processmining.models.semantics.petrinet.PetrinetSemantics semantics)
                                               throws org.processmining.framework.connections.ConnectionCannotBeObtained
        Throws:
        org.processmining.framework.connections.ConnectionCannotBeObtained