Package | Description |
---|---|
org.processmining.models.connections.petrinets.behavioral |
Constructor and Description |
---|
NonLiveSequencesConnection(PetrinetGraph net,
NonLiveSequences sequences,
Marking marking,
Marking[] allowedFinalMarkings,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics) |