Package org.processmining.lpm.util

Class ProcessTree2Petrinet.PetrinetWithMarkings

java.lang.Object

org.processmining.lpm.util.ProcessTree2Petrinet.PetrinetWithMarkings

Enclosing class:

ProcessTree2Petrinet

public static class ProcessTree2Petrinet.PetrinetWithMarkings
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
org.processmining.models.semantics.petrinet.Marking	finalMarking
org.processmining.models.semantics.petrinet.Marking	initialMarking
java.util.Map<ProcessTree2Petrinet.UnfoldedNode,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>>	mapPath2Transitions
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,ProcessTree2Petrinet.UnfoldedNode>	mapTransition2Path
org.processmining.models.graphbased.directed.petrinet.Petrinet	petrinet

Constructor Summary

Constructors

Constructor	Description
PetrinetWithMarkings()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

petrinet

public org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet

initialMarking

public org.processmining.models.semantics.petrinet.Marking initialMarking

finalMarking

public org.processmining.models.semantics.petrinet.Marking finalMarking

mapPath2Transitions

public java.util.Map<ProcessTree2Petrinet.UnfoldedNode,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> mapPath2Transitions

mapTransition2Path

public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,ProcessTree2Petrinet.UnfoldedNode> mapTransition2Path

Constructor Detail

PetrinetWithMarkings

public PetrinetWithMarkings()