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