|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface PetriNet
A representation of the model object 'Petri Net'.
The following features are supported:
BehaviorsPackage.getPetriNet()
Method Summary | |
---|---|
Action |
getInitialization()
Returns the value of the 'Initialization' containment reference. |
|
getInitialState()
Returns the value of the 'Initial State' reference list. |
|
getState()
Returns the value of the 'State' containment reference list. |
|
getTransition()
Returns the value of the 'Transition' containment reference list. |
void |
setInitialization(Action value)
Sets the value of the ' Initialization ' containment reference. |
Methods inherited from interface ujf.verimag.bip.Core.Behaviors.Behavior |
---|
getAtomType, setAtomType |
Method Detail |
---|
getState()
State
.
If the meaning of the 'State' containment reference list isn't clear, there really should be more of a description here...
BehaviorsPackage.getPetriNet_State()
getTransition()
Transition
.
If the meaning of the 'Transition' containment reference list isn't clear, there really should be more of a description here...
BehaviorsPackage.getPetriNet_Transition()
getInitialState()
State
.
If the meaning of the 'Initial State' reference list isn't clear, there really should be more of a description here...
BehaviorsPackage.getPetriNet_InitialState()
Action getInitialization()
If the meaning of the 'Initialization' containment reference isn't clear, there really should be more of a description here...
setInitialization(Action)
,
BehaviorsPackage.getPetriNet_Initialization()
void setInitialization(Action value)
Initialization
' containment reference.
value
- the new value of the 'Initialization' containment reference.getInitialization()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |