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

Field Summary

Fields

Modifier and Type	Field and Description
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

Constructors

Constructor and Description
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 -