org.processmining.plugins.petrinet.behavioralanalysis

Class CGGenerator

java.lang.Object

org.processmining.plugins.petrinet.behavioralanalysis.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 and Description
CGGenerator()

Method Summary

Methods

Modifier and Type	Method and 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