Package org.processmining.models.connections.petrinets.behavioral

Class MarkingsetNetConnection

java.lang.Object

org.processmining.framework.connections.impl.AbstractConnection

org.processmining.framework.connections.impl.AbstractStrongReferencingConnection

org.processmining.models.connections.petrinets.behavioral.MarkingsetNetConnection

All Implemented Interfaces:

org.processmining.framework.connections.Connection

Direct Known Subclasses:

CoverabilitySetConnection, HomeMarkingConnection, ReachabilitySetConnection

public abstract class MarkingsetNetConnection
extends org.processmining.framework.connections.impl.AbstractStrongReferencingConnection

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	MARKINGS
static java.lang.String	NET
static java.lang.String	SEMANTICS

Fields inherited from class org.processmining.framework.connections.impl.AbstractConnection

manager

Constructor Summary

Constructors

Constructor	Description
MarkingsetNetConnection(PetrinetGraph net, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)	All markings contain only places from the net, i.e.

Method Summary

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

NET

public static final java.lang.String NET

See Also:

Constant Field Values

MARKINGS

public static final java.lang.String MARKINGS

See Also:

Constant Field Values

SEMANTICS

public static final java.lang.String SEMANTICS

See Also:

Constant Field Values

Constructor Detail

MarkingsetNetConnection

public MarkingsetNetConnection(PetrinetGraph net,
                               AbstractMarkingSet<?> marking,
                               org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
                               java.lang.String setName)

All markings contain only places from the net, i.e. for all elements m of marking holds that: assert(net.getPlaces().containsAll(m.toSet()));

Parameters:

net -

marking -