public class PetriNetWithData extends PetrinetImpl
Modifier and Type | Field and Description |
---|---|
java.util.Map<Transition,java.util.Set<DataElement>> |
destroying_data |
java.util.Map<Transition,java.util.Set<DataElement>> |
writing_data |
arcs, inhibitorArcs, places, resetArcs, substitutionTransitions, transitions
Constructor and Description |
---|
PetriNetWithData(java.lang.String label,
java.util.Set<DataElement> data_elements,
java.util.Set<Predicate> pred_set) |
Modifier and Type | Method and Description |
---|---|
void |
assignDataOperation(Transition t,
java.util.Set<DataElement> data_elements,
java.lang.String type) |
void |
assignGuard(Transition t,
Guard grd) |
java.util.Set<DataElement> |
getDataElements() |
java.util.Map<Transition,Guard> |
getGuards() |
java.util.Set<Predicate> |
getPredicates() |
boolean |
isDestroying(Transition t,
DataElement d) |
boolean |
isReading(Transition t,
DataElement d) |
boolean |
isWriting(Transition t,
DataElement d) |
static void |
main(java.lang.String[] args) |
void |
setVisualizationLabels() |
void |
showDataElements() |
void |
showDataOperations() |
void |
showGuards() |
getEmptyClone
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArcPrivate, addGroup, addGroup, addInhibitorArc, addInhibitorArc, addInhibitorArc, addInhibitorArc, addPlace, addPlace, addResetArc, addResetArc, addResetArc, addResetArc, addTransition, addTransition, cloneFrom, cloneFrom, getArc, getEdges, getGroups, getInhibitorArc, getNodes, getPlaces, getResetArc, getTransitions, removeArc, removeEdge, removeGroup, removeInhibitorArc, removeNode, removePlace, removeResetArc, removeTransition
checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges
equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection
getAttributeMap, getLabel, toString
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, addTransition, addTransition, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransition
getEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNode
equals, getGraph, hashCode
public java.util.Map<Transition,java.util.Set<DataElement>> writing_data
public java.util.Map<Transition,java.util.Set<DataElement>> destroying_data
public PetriNetWithData(java.lang.String label, java.util.Set<DataElement> data_elements, java.util.Set<Predicate> pred_set)
public void assignDataOperation(Transition t, java.util.Set<DataElement> data_elements, java.lang.String type)
public void setVisualizationLabels()
public boolean isReading(Transition t, DataElement d)
public boolean isWriting(Transition t, DataElement d)
public boolean isDestroying(Transition t, DataElement d)
public void assignGuard(Transition t, Guard grd)
public java.util.Set<DataElement> getDataElements()
public void showDataElements()
public void showDataOperations()
public void showGuards()
public java.util.Map<Transition,Guard> getGuards()
public java.util.Set<Predicate> getPredicates()
public static void main(java.lang.String[] args)
args
-