public class TransformGuardTransition
extends java.lang.Object
Constructor and Description |
---|
TransformGuardTransition() |
Modifier and Type | Method and Description |
---|---|
static void |
GuardTransitions2PetriNet(ComponentInstance ci,
org.eclipse.emf.common.util.EList UpperComponentsEM,
PetriNet.PetriNet pn) |
public static void GuardTransitions2PetriNet(ComponentInstance ci, org.eclipse.emf.common.util.EList UpperComponentsEM, PetriNet.PetriNet pn)