| Package | Description |
|---|---|
| org.processmining.models.connections.petrinets.structural | |
| org.processmining.models.graphbased.directed.petrinet.analysis |
| Constructor and Description |
|---|
AbstractInvariantMarkingConnection(PetrinetGraph net,
AbstractInvariantSet<?> invariantMarking) |
| Modifier and Type | Class and Description |
|---|---|
class |
NonLiveSequences |
class |
PlaceInvariantSet |
class |
TransitionInvariantSet |
class |
UnboundedSequences |