Package org.processmining.plugins.InductiveMiner.reduceacceptingpetrinet

Class InterchangeablePlaces

java.lang.Object

org.processmining.plugins.InductiveMiner.reduceacceptingpetrinet.InterchangeablePlaces

public class InterchangeablePlaces
extends java.lang.Object

Reduce a Petri net using the rule that if two silent transitions undo each other's effects, then their places can be merged. For simplicity, this implementation only targets silent transitions with one incoming and one outgoing arc.

Author:

sander

Constructor Summary

Constructors

Constructor	Description
InterchangeablePlaces()

Method Summary

Modifier and Type	Method	Description
static org.processmining.models.graphbased.directed.petrinet.elements.Transition	findTransitionB(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Place placeX, org.processmining.models.graphbased.directed.petrinet.elements.Place placeY)
static org.processmining.models.graphbased.directed.petrinet.elements.Place	getPlaceY(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.elements.Transition transitionA)
static boolean	reduce(org.processmining.acceptingpetrinet.models.AcceptingPetriNet anet, org.processmining.framework.packages.PackageManager.Canceller canceller)

Methods inherited from class java.lang.Object

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

Constructor Detail

InterchangeablePlaces

public InterchangeablePlaces()

Method Detail

reduce

public static boolean reduce(org.processmining.acceptingpetrinet.models.AcceptingPetriNet anet,
                             org.processmining.framework.packages.PackageManager.Canceller canceller)

getPlaceY

public static org.processmining.models.graphbased.directed.petrinet.elements.Place getPlaceY(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                             org.processmining.models.graphbased.directed.petrinet.elements.Transition transitionA)

findTransitionB

public static org.processmining.models.graphbased.directed.petrinet.elements.Transition findTransitionB(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                                        org.processmining.models.graphbased.directed.petrinet.elements.Place placeX,
                                                                                                        org.processmining.models.graphbased.directed.petrinet.elements.Place placeY)