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 |