Package | Description |
---|---|
org.processmining.models.connections.petrinets.behavioral |
Constructor and Description |
---|
BoundednessInfoConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NetAnalysisInformation.BOUNDEDNESS netAnalysisInformation) |