Project: demo1-5
Class StochasticTimedAutomata

Concrete Class Extends 
        is-Triggered-by ∋ _Single_Event_Triggering, GSMP
 
Direct Instances:
None
 
Direct Subclasses:
ProbabilisticTimedAutomata
 
Class Documentation:
(STA) State Automata with single event transition triggering, stochastic clock structure and probabilisitic transition function.


Template Slots
Slot name Documentation Type Allowed Values/Classes Cardinality Default
:OWL-DIFFERENT-FROM Instance  :THING  0:*   
has-ClockStructure Instance  StochasticClockStructure  0:*   
has-InitialState Instance  InitialState  0:1   
:OWL-VERSION-INFO String    0:*   
has-PlaceSet Instance  FinitePlaceSet  0:*   
has-EventSet Instance  FiniteEventSet  0:*   
:OWL-SEE-ALSO String    0:*   
is-Scheduled-by Refers to a mechanism used to schedule an event.

Instance  EventScheduling  0:1   
is-Enabled-by Instance  TransitionEnabling  0:1   
:OWL-LABELS String    0:*   
has-StateSpace Instance  DiscreteStateSpace  0:*   
:OWL-SAME-AS Instance  :THING  0:*   
is-Triggered-by Instance  TransitionTriggering  0:1   
:OWL-IS-DEFINED-BY String    0:*   
has-TimeSet Instance  TimeSet  0:*   
has-TransitionFunction Instance  ProbabilisticTransitionFunction  0:*   

Own Slots
Slot name Documentation Type Value  Cardinality
:OWL-DIFFERENT-FROM   Instance 
 
 
:OWL-VERSION-INFO   String 
 
 
:OWL-SEE-ALSO   String 
 
 
:OWL-DISJOINT-CLASSES   Instance 
 
 
:OWL-LABELS   String 
 
 
:OWL-SAME-AS   Instance 
 
 
:OWL-IS-DEFINED-BY   String 
 
 

Return to class hierarchy


Generated on Fri Oct 31 11:01:57 EST 2003