|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Uses of NetAnalysisInformation in org.processmining.models.connections.petrinets.behavioral |
|---|
| Constructors in org.processmining.models.connections.petrinets.behavioral with parameters of type NetAnalysisInformation | |
|---|---|
BehavioralAnalysisInformationConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
NetAnalysisInformation<?> netAnalysisInformation)
Connection with marking |
|
| Uses of NetAnalysisInformation in org.processmining.models.connections.petrinets.structural |
|---|
| Constructors in org.processmining.models.connections.petrinets.structural with parameters of type NetAnalysisInformation | |
|---|---|
AbstractStructuralAnalysisInformationConnection(PetrinetGraph net,
NetAnalysisInformation<?> netAnalysisInformation)
Connection with marking |
|
| Uses of NetAnalysisInformation in org.processmining.models.graphbased.directed.petrinet.analysis |
|---|
| Subclasses of NetAnalysisInformation in org.processmining.models.graphbased.directed.petrinet.analysis | |
|---|---|
static class |
NetAnalysisInformation.BOUNDEDNESS
|
static class |
NetAnalysisInformation.EXTFREECHOICE
|
static class |
NetAnalysisInformation.FREECHOICE
|
static class |
NetAnalysisInformation.LIVENESS
|
static class |
NetAnalysisInformation.RELAXEDSOUND
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||