Package org.processmining.plugins.petrinet.behavioralanalysis

Class BoundednessAnalyzer

  • public class BoundednessAnalyzer
extends java.lang.Object
    Class to analyze whether a given PetriNet is bounded Based on Murata, Tadao. Petri Nets:Properties, Analysis, and Applications. Proceedings of the IEEE vol. 77, No.4, April 1989 a net is bounded iff omega notation does not appear in a any node labels in coverability graph
    Version:
    Dec 13, 2008
    Author:
    arya

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.Object[] analyzeBoundednessPetriNet​(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)  
      java.lang.Object[] analyzeBoundednessPetriNet​(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking state)  
      java.lang.Object[] analyzeBoundednessPetriNet​(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.graphbased.directed.petrinet.analysis.CoverabilitySet covSet, org.processmining.models.semantics.petrinet.PetrinetSemantics semantics)  
      java.lang.Object[] analyzeBoundednessPetriNet​(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)  
      static boolean isBounded​(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph graph)
      Static method to check boundedness, given a coverability graph

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • BoundednessAnalyzer

        public BoundednessAnalyzer()

    • Method Detail

      • analyzeBoundednessPetriNet

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

      • analyzeBoundednessPetriNet

        public java.lang.Object[] analyzeBoundednessPetriNet​(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

      • analyzeBoundednessPetriNet

        public java.lang.Object[] analyzeBoundednessPetriNet​(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

      • analyzeBoundednessPetriNet

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

      • isBounded

        public static boolean isBounded​(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph graph)
        Static method to check boundedness, given a coverability graph
        Parameters:
        graph - Coverability graph
        Returns:
        true if the net is bounded, false if it is not