org.processmining.hybrid.semantics.impl

Class HybridPetrinetImpl

java.lang.Object

org.processmining.hybrid.semantics.impl.HybridPetrinetImpl

public class HybridPetrinetImpl
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
org.processmining.acceptingpetrinet.models.AcceptingPetriNet	apn
java.util.Map<org.processmining.models.semantics.petrinet.Marking,java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>>	enabledTransitions
java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.elements.Transition>	mappingStringToTransition
org.processmining.models.semantics.petrinet.PetrinetSemantics	pns

Constructor Summary

Constructors

Constructor and Description
HybridPetrinetImpl(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn)
HybridPetrinetImpl(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn, java.util.Map<java.lang.String,java.lang.String> subprocessMapping, java.util.Set<java.lang.String> subprocessNames, java.util.Set<java.lang.String> canTerminateInInitialState)

Method Summary

Modifier and Type	Method and Description
java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>	computeEnabledTransitionsPartDeux(org.processmining.models.semantics.petrinet.Marking initialMarking)
org.processmining.models.semantics.petrinet.Marking	performAction(org.processmining.models.semantics.petrinet.Marking currentMarking, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
org.processmining.framework.util.Pair<org.processmining.models.semantics.petrinet.Marking,org.processmining.framework.util.Pair<java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>,org.processmining.models.graphbased.directed.petrinet.elements.Transition>>	performActionList(org.processmining.models.semantics.petrinet.Marking currentMarking, org.processmining.models.graphbased.directed.petrinet.elements.Transition t)

Methods inherited from class java.lang.Object

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

Field Detail

apn

public org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn

pns

public org.processmining.models.semantics.petrinet.PetrinetSemantics pns

enabledTransitions

public java.util.Map<org.processmining.models.semantics.petrinet.Marking,java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> enabledTransitions

mappingStringToTransition

public java.util.Map<java.lang.String,org.processmining.models.graphbased.directed.petrinet.elements.Transition> mappingStringToTransition

Constructor Detail

HybridPetrinetImpl

public HybridPetrinetImpl(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn)

HybridPetrinetImpl

public HybridPetrinetImpl(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn,
                          java.util.Map<java.lang.String,java.lang.String> subprocessMapping,
                          java.util.Set<java.lang.String> subprocessNames,
                          java.util.Set<java.lang.String> canTerminateInInitialState)

Method Detail

performAction

public org.processmining.models.semantics.petrinet.Marking performAction(org.processmining.models.semantics.petrinet.Marking currentMarking,
                                                                         org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
                                                                  throws java.lang.Exception

Throws:

java.lang.Exception

performActionList

public org.processmining.framework.util.Pair<org.processmining.models.semantics.petrinet.Marking,org.processmining.framework.util.Pair<java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition>,org.processmining.models.graphbased.directed.petrinet.elements.Transition>> performActionList(org.processmining.models.semantics.petrinet.Marking currentMarking,
                                                                                                                                                                                                                                                                                                                               org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
                                                                                                                                                                                                                                                                                                                        throws java.lang.Exception

Throws:

java.lang.Exception

computeEnabledTransitionsPartDeux

public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> computeEnabledTransitionsPartDeux(org.processmining.models.semantics.petrinet.Marking initialMarking)
                                                                                                                                  throws java.lang.Exception

Throws:

java.lang.Exception