public class TransitionInvariantConnection extends AbstractInvariantMarkingConnection
INVARIANTMARKING, NET
Constructor and Description |
---|
TransitionInvariantConnection(PetrinetGraph net,
TransitionInvariantSet invariantMarking) |
public TransitionInvariantConnection(PetrinetGraph net, TransitionInvariantSet invariantMarking)