Project: demo1-5
Class DTMC

Concrete Class Extends 
        SemiMarkovProcess, ∀ has-TimeSet DiscreteTimeSet, is-Determined-by ∋ _Poisson_Process
 
Direct Instances:
None
 
Direct Subclasses:
None
 
Class Documentation:
Discrete Time Markov Chain models.


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:*   
is-Determined-by Instance  ClockSetting  0:*   
has-PlaceSet Instance  FinitePlaceSet  0:*   
has-EventSet Instance  Event ⊓ (has-Set-Type ∋ _cardinality_One)  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  DiscreteTimeSet  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