Package | Description |
---|---|
org.processmining.models.graphbased.directed.petrinetwithdata | |
org.processmining.models.graphbased.directed.petrinetwithdata.unfolding |
Modifier and Type | Field and Description |
---|---|
java.util.Map<Transition,java.util.Set<DataElement>> |
PetriNetWithData.destroying_data |
java.util.Map<Transition,java.util.Set<DataElement>> |
PetriNetWithData.writing_data |
Modifier and Type | Method and Description |
---|---|
java.util.Set<DataElement> |
Guard.dataOf() |
java.util.Set<DataElement> |
PetriNetWithData.getDataElements() |
java.util.Set<DataElement> |
Predicate.getDepData() |
Modifier and Type | Method and Description |
---|---|
boolean |
PetriNetWithData.isDestroying(Transition t,
DataElement d) |
boolean |
PetriNetWithData.isReading(Transition t,
DataElement d) |
boolean |
PetriNetWithData.isWriting(Transition t,
DataElement d) |
Modifier and Type | Method and Description |
---|---|
void |
PetriNetWithData.assignDataOperation(Transition t,
java.util.Set<DataElement> data_elements,
java.lang.String type) |
Constructor and Description |
---|
PetriNetWithData(java.lang.String label,
java.util.Set<DataElement> data_elements,
java.util.Set<Predicate> pred_set) |
Predicate(java.lang.String name,
java.util.Set<DataElement> dep_data) |
Constructor and Description |
---|
DataEffect(DataElement data_elem,
java.lang.String effect) |