org.processmining.plugins.petrinet.replayresult.exporting

Class PetrinetGraphPlayOut

java.lang.Object

org.processmining.plugins.petrinet.replayresult.exporting.PetrinetGraphPlayOut

public class PetrinetGraphPlayOut
extends java.lang.Object

Author:

aadrians May 15, 2013

Constructor Summary

Constructors

Constructor and Description
PetrinetGraphPlayOut(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking m)

Method Summary

Methods

Modifier and Type	Method and Description
org.processmining.models.semantics.petrinet.Marking	fire(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
org.processmining.models.semantics.petrinet.Marking	getCurrentMarking()
void	init(org.processmining.models.semantics.petrinet.Marking m)

Methods inherited from class java.lang.Object

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

Constructor Detail

PetrinetGraphPlayOut

public PetrinetGraphPlayOut(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                    org.processmining.models.semantics.petrinet.Marking m)

Method Detail

init

public void init(org.processmining.models.semantics.petrinet.Marking m)

getCurrentMarking

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

fire

public org.processmining.models.semantics.petrinet.Marking fire(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
                                                         throws org.processmining.models.semantics.IllegalTransitionException

Throws:

org.processmining.models.semantics.IllegalTransitionException