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