ujf.verimag.bip.Core.Behaviors
Interface PetriNet

All Superinterfaces:
Behavior
All Known Implementing Classes:
PetriNetImpl

public interface PetriNet
extends Behavior

A representation of the model object 'Petri Net'.

The following features are supported:

See Also:
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

 getState()
Returns the value of the 'State' containment reference list. The list contents are of type State.

If the meaning of the 'State' containment reference list isn't clear, there really should be more of a description here...

Returns:
the value of the 'State' containment reference list.
See Also:
BehaviorsPackage.getPetriNet_State()

getTransition

 getTransition()
Returns the value of the 'Transition' containment reference list. The list contents are of type Transition.

If the meaning of the 'Transition' containment reference list isn't clear, there really should be more of a description here...

Returns:
the value of the 'Transition' containment reference list.
See Also:
BehaviorsPackage.getPetriNet_Transition()

getInitialState

 getInitialState()
Returns the value of the 'Initial State' reference list. The list contents are of type State.

If the meaning of the 'Initial State' reference list isn't clear, there really should be more of a description here...

Returns:
the value of the 'Initial State' reference list.
See Also:
BehaviorsPackage.getPetriNet_InitialState()

getInitialization

Action getInitialization()
Returns the value of the 'Initialization' containment reference.

If the meaning of the 'Initialization' containment reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Initialization' containment reference.
See Also:
setInitialization(Action), BehaviorsPackage.getPetriNet_Initialization()

setInitialization

void setInitialization(Action value)
Sets the value of the 'Initialization' containment reference.

Parameters:
value - the new value of the 'Initialization' containment reference.
See Also:
getInitialization()