org.processmining.plugins.petrinet.manifestreplayer

Class PNetPattern

java.lang.Object

org.processmining.plugins.petrinet.manifestreplayer.PNetPattern

public class PNetPattern
extends java.lang.Object

This class represent patterns in form of petri net.

Author:

aadrians May 17, 2012

Constructor Summary

Constructors

Constructor and Description
PNetPattern(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass> mapping, org.processmining.models.semantics.petrinet.Marking initMarking, org.processmining.models.semantics.petrinet.Marking... finalMarkings)

Method Summary

Methods

Modifier and Type	Method and Description
org.processmining.models.semantics.petrinet.Marking[]	getFinalMarkings()
org.processmining.models.semantics.petrinet.Marking	getInitMarking()
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph	getNet()
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass>	getTrans2ecC()
void	setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] finalMarkings)
void	setInitMarking(org.processmining.models.semantics.petrinet.Marking initMarking)
void	setNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
void	setTrans2ecC(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass> trans2ecC)

Methods inherited from class java.lang.Object

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

Constructor Detail

PNetPattern

public PNetPattern(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
           java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass> mapping,
           org.processmining.models.semantics.petrinet.Marking initMarking,
           org.processmining.models.semantics.petrinet.Marking... finalMarkings)

Method Detail

getNet

public org.processmining.models.graphbased.directed.petrinet.PetrinetGraph getNet()

Returns:

the net

setNet

public void setNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

Parameters:

net - the net to set

getInitMarking

public org.processmining.models.semantics.petrinet.Marking getInitMarking()

Returns:

the initMarking

setInitMarking

public void setInitMarking(org.processmining.models.semantics.petrinet.Marking initMarking)

Parameters:

initMarking - the initMarking to set

getFinalMarkings

public org.processmining.models.semantics.petrinet.Marking[] getFinalMarkings()

Returns:

the finalMarkings

setFinalMarkings

public void setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] finalMarkings)

Parameters:

finalMarkings - the finalMarkings to set

getTrans2ecC

public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass> getTrans2ecC()

Returns:

the trans2ecC

setTrans2ecC

public void setTrans2ecC(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.deckfour.xes.classification.XEventClass> trans2ecC)

Parameters:

trans2ecC - the trans2ecC to set