org.processmining.models.connections.petrinets.behavioral
Class UnfoldingNetConnection
java.lang.Object
org.processmining.framework.connections.impl.AbstractConnection
org.processmining.framework.connections.impl.AbstractStrongReferencingConnection
org.processmining.models.connections.petrinets.behavioral.AbstractSemanticConnection
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
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 |
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 |
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
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
-