Package org.processmining.plugins.petrinet.structuralanalysis.invariants

Class PlaceInvariantCalculator

java.lang.Object

org.processmining.plugins.petrinet.structuralanalysis.invariants.PlaceInvariantCalculator

public class PlaceInvariantCalculator
extends java.lang.Object

This class represents a plugin to calculate basis of semi-positive place invariants of petri net Modified from PlaceInvariantCalculator class implemented in ProM 5

Version:

Oct 24, 2008

Author:

arya

Constructor Summary

Constructors

Constructor	Description
PlaceInvariantCalculator()

Method Summary

Modifier and Type	Method	Description
org.processmining.models.graphbased.directed.petrinet.analysis.PlaceInvariantSet	calculate(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)	Calculation of place invariant marking This method is public in order to enable invariant calculation as intermediate step
org.processmining.models.graphbased.directed.petrinet.analysis.PlaceInvariantSet	calculatePlaceInvariant(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net)
org.processmining.models.graphbased.directed.petrinet.analysis.PlaceInvariantSet	calculatePlaceInvariant(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)

Methods inherited from class java.lang.Object

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

Constructor Detail

PlaceInvariantCalculator

public PlaceInvariantCalculator()

Method Detail

calculatePlaceInvariant

public org.processmining.models.graphbased.directed.petrinet.analysis.PlaceInvariantSet calculatePlaceInvariant(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.Petrinet net)

calculatePlaceInvariant

public org.processmining.models.graphbased.directed.petrinet.analysis.PlaceInvariantSet calculatePlaceInvariant(org.processmining.framework.plugin.PluginContext context,
                                                                                                                org.processmining.models.graphbased.directed.petrinet.InhibitorNet net)

calculate

public org.processmining.models.graphbased.directed.petrinet.analysis.PlaceInvariantSet calculate(org.processmining.framework.plugin.PluginContext context,
                                                                                                  org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

Calculation of place invariant marking This method is public in order to enable invariant calculation as intermediate step

Parameters:

net - net to be calculated

Returns: