public class TransformGuardIn
extends java.lang.Object
Constructor and Description |
---|
TransformGuardIn() |
Modifier and Type | Method and Description |
---|---|
static void |
GuardIns2PetriNet(ComponentInstance ci,
org.eclipse.emf.common.util.EList UpperComponentsEM,
PetriNet.PetriNet pn)
This method looks for all the guard_in properties defined for the given component
ci in order and transforms them into a relative subnet of the Petri Net
|
public static void GuardIns2PetriNet(ComponentInstance ci, org.eclipse.emf.common.util.EList UpperComponentsEM, PetriNet.PetriNet pn)
ci
- ComponentInstance it represents the component with the guard_in(s)UpperComponentsEM
- EList of components with Error Model, to be taken into accountpn
- Petri Net to which attach the guard_in subnet