Package org.processmining.plugins.petrinet.behavioralanalysis

Class CGGenerator

  • public class CGGenerator
extends java.lang.Object
    This class represents a plugin to transform net into coverability graph
    Version:
    1 September 2008
    Author:
    arya

    • Constructor Summary

      Constructors 
      Constructor Description
      CGGenerator()  

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph doBreadthFirst​(org.processmining.framework.plugin.PluginContext context, java.lang.String label, org.processmining.models.semantics.petrinet.CTMarking state, org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics)
      Build a coverability graph from initial state with breadth-first approach
      static org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph getCoverabilityGraph​(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net, org.processmining.models.semantics.petrinet.Marking initial, org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics)  
      static org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph getCoverabilityGraph​(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initial, org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics)  
      java.lang.Object[] inhibitorNetToCoverabilityGraph​(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net, org.processmining.models.semantics.petrinet.Marking state)  
      java.lang.Object[] inhibitorNetToCoverabilityGraph​(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.semantics.petrinet.InhibitorNetSemantics semantics)  
      java.lang.Object[] petrinetetToCoverabilityGraph​(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)  
      java.lang.Object[] petriNetToCoverabilityGraph​(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking state)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • CGGenerator

        public CGGenerator()

    • Method Detail

      • petriNetToCoverabilityGraph

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

      • inhibitorNetToCoverabilityGraph

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

      • petrinetetToCoverabilityGraph

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

      • inhibitorNetToCoverabilityGraph

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

      • getCoverabilityGraph

        public static org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph getCoverabilityGraph​(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                                                   org.processmining.models.semantics.petrinet.Marking initial,
                                                                                                                   org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics)

      • getCoverabilityGraph

        public static org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph getCoverabilityGraph​(org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
                                                                                                                   org.processmining.models.semantics.petrinet.Marking initial,
                                                                                                                   org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics)

      • doBreadthFirst

        public org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph doBreadthFirst​(org.processmining.framework.plugin.PluginContext context,
                                                                                                      java.lang.String label,
                                                                                                      org.processmining.models.semantics.petrinet.CTMarking state,
                                                                                                      org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics)
        Build a coverability graph from initial state with breadth-first approach
        Parameters:
        context - context of the net
        label - label of the net
        state - Initial state (initial marking)
        semantics - semantics obtained from initial state
        Returns:
        CoverabilityGraph to be displayed