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

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