org.processmining.models.connections.petrinets.behavioral

Class DeadMarkingConnection

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.DeadMarkingConnection

All Implemented Interfaces:

org.processmining.framework.connections.Connection

public class DeadMarkingConnection
extends AbstractSemanticConnection

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	DEADMARKINGS

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
DeadMarkingConnection(PetrinetGraph net, Marking initial, org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet acceptingStates, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)

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

DEADMARKINGS

public static final java.lang.String DEADMARKINGS

See Also:

Constant Field Values

Constructor Detail

DeadMarkingConnection

public DeadMarkingConnection(PetrinetGraph net,
                             Marking initial,
                             org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet acceptingStates,
                             org.processmining.models.semantics.Semantics<Marking,Transition> semantics)