public class CompleteTransformationAADL2GSPN
extends java.lang.Object
Constructor and Description |
---|
CompleteTransformationAADL2GSPN() |
Modifier and Type | Method and Description |
---|---|
static void |
completePetriNet(PetriNet.PetriNet pn,
org.eclipse.emf.common.util.EList intermediaryInfoList) |
static java.util.Hashtable |
getTransitions(PetriNet.PetriNet pn,
PetriNet.Place intermediaryPlace)
This method gets the list of all the transitions of the petri net linked to the
intermediary place, except the evacuation transitions
|
public static void completePetriNet(PetriNet.PetriNet pn, org.eclipse.emf.common.util.EList intermediaryInfoList)
pn
- PetriNetintermediaryInfoList,
- EList of Structure objects, that represent the
propagation placespublic static java.util.Hashtable getTransitions(PetriNet.PetriNet pn, PetriNet.Place intermediaryPlace)
pn
- PetriNetintermediaryPlace
- Place