org.processmining.models.connections.petrinets.behavioral
Class UnfoldingNetConnection

java.lang.Object
  extended by org.processmining.framework.connections.impl.AbstractConnection
      extended by org.processmining.framework.connections.impl.AbstractStrongReferencingConnection
          extended by org.processmining.models.connections.petrinets.behavioral.AbstractSemanticConnection
              extended by org.processmining.models.connections.petrinets.behavioral.UnfoldingNetConnection
All Implemented Interfaces:
org.processmining.framework.connections.Connection

public class UnfoldingNetConnection
extends AbstractSemanticConnection

Connection between petri net, marking, and unfolding

Version:
Mar 23, 2010
Author:
Arya Adriansyah, Dirk Fahland

Field Summary
static java.lang.String PREFIXMARK
           
static java.lang.String PREFIXNET
           
static java.lang.String PREFIXNET_OMEGA
           
 
Fields inherited from class org.processmining.models.connections.petrinets.behavioral.AbstractSemanticConnection
MARKING, NET, SEMANTICS
 
Fields inherited from class org.processmining.framework.connections.impl.AbstractConnection
manager
 
Constructor Summary
UnfoldingNetConnection(PetrinetGraph originalNet, Marking originalMarking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, PetrinetGraph prefixNet)
          connect Petri net to its finite complete prefix
UnfoldingNetConnection(PetrinetGraph originalNet, Marking originalMarking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, PetrinetGraph prefixNet, CTMarking prefixMarking)
           
UnfoldingNetConnection(PetrinetGraph originalNet, Marking originalMarking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, PetrinetGraph prefixNet, Marking prefixMarking)
          connect Petri net to its finite complete prefix
 
Method Summary
 
Methods inherited from class org.processmining.models.connections.petrinets.behavioral.AbstractSemanticConnection
getSemantics
 
Methods inherited from class org.processmining.framework.connections.impl.AbstractStrongReferencingConnection
isRemoved, putStrong
 
Methods inherited from class org.processmining.framework.connections.impl.AbstractConnection
containsObjects, containsObjects, equals, get, getID, getLabel, getMapping, getObjects, getObjectWithRole, getRoles, hashCode, put, remove, remove, setLabel, setManager, toString, updated
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

PREFIXNET

public static final java.lang.String PREFIXNET
See Also:
Constant Field Values

PREFIXNET_OMEGA

public static final java.lang.String PREFIXNET_OMEGA
See Also:
Constant Field Values

PREFIXMARK

public static final java.lang.String PREFIXMARK
See Also:
Constant Field Values
Constructor Detail

UnfoldingNetConnection

public UnfoldingNetConnection(PetrinetGraph originalNet,
                              Marking originalMarking,
                              org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
                              PetrinetGraph prefixNet,
                              CTMarking prefixMarking)

UnfoldingNetConnection

public UnfoldingNetConnection(PetrinetGraph originalNet,
                              Marking originalMarking,
                              org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
                              PetrinetGraph prefixNet,
                              Marking prefixMarking)
connect Petri net to its finite complete prefix

Parameters:
originalNet -
originalMarking -
semantics -
prefixNet -
prefixMarking -

UnfoldingNetConnection

public UnfoldingNetConnection(PetrinetGraph originalNet,
                              Marking originalMarking,
                              org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
                              PetrinetGraph prefixNet)
connect Petri net to its finite complete prefix

Parameters:
originalNet -
originalMarking -
semantics -
prefixNet -