Package | Description |
---|---|
org.processmining.models.connections.petrinets.behavioral |
Constructor and Description |
---|
NonLiveTransitionsConnection(PetrinetGraph net,
NonLiveTransitionsSet transitions,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics) |