Constructor and Description |
---|
BehavioralAnalysisInformationConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NetAnalysisInformation<?> netAnalysisInformation)
Connection with marking
|
Constructor and Description |
---|
AbstractStructuralAnalysisInformationConnection(PetrinetGraph net,
NetAnalysisInformation<?> netAnalysisInformation)
Connection with marking
|
Modifier and Type | Class and Description |
---|---|
static class |
NetAnalysisInformation.BOUNDEDNESS |
static class |
NetAnalysisInformation.EXTFREECHOICE |
static class |
NetAnalysisInformation.FREECHOICE |
static class |
NetAnalysisInformation.LIVENESS |
static class |
NetAnalysisInformation.RELAXEDSOUND |