Project: included
Class owl:Class

Concrete Class Extends 
        :THING, :OWL-CLASS, :STANDARD-CLASS
 
Direct Instances:
  1. [owl:Class]
  2. [owl:Property]
  3. [:DIRECTED-BINARY-RELATION]
  4. [ProbabilisticTransitionFunction]
  5. [TransitionFunction]
  6. [ModelBuildingBlock]
  7. [ModelElement]
  8. [EventSet]
  9. [Event]
  10. [ModelPrimitive]
  11. [ClockStructure]
  12. [EventClock]
  13. [StateSpace]
  14. [State]
  15. [TimeSet]
  16. [Time]
  17. [PlaceSet]
  18. [Place]
  19. [Transition]
  20. [ProbabilisticTransition]
  21. [StateAutomata]
  22. [Model]
  23. [NoClockStructure]
  24. [DeterministicClockStructure]
  25. [ClockSetting]
  26. [ModelMechanism]
  27. [DTMC]
  28. [SemiMarkovProcess]
  29. [FiniteEventSet]
  30. [SetType]
  31. [GSMP-SE]
  32. [TransitionTriggering]
  33. [GSMP]
  34. [FinitePlaceSet]
  35. [StochasticClockStructure]
  36. [StochasticClockSetting]
  37. [EventScheduling]
  38. [TransitionEnabling]
  39. [DiscreteTimeSet]
  40. [DeterministicClockSetting]
  41. [TimedAutomata]
  42. [ProbabilisticTimedAutomata]
  43. [DeterministicTransitionFunction]
  44. [DeterministicTransition]
  45. [StochasticTimedAutomata]
  46. [Initialization]
  47. [ContinuousStateSpace]
  48. [InitialState]
  49. [SingleEventTransition]
  50. [MultupleEventTransition]
  51. [DiscreteStateSpace]
  52. [ProbabilisticInitialState]
  53. [ContinuousTimeSet]
  54. [BoundedPetriNet]
  55. [PetriNet]
  56. [TimedPetriNet]
  57. [GSPN]
  58. [FiniteStateAutomata]
  59. [FiniteStateSpace]
  60. [CTMC]
  61. [DeterministicInitialState]
  62. [FreeChoiceNet]
  63. [TimingSpecification]
  64. [CountableStateSpace]
  65. [Token]
  66. [Color]
 
Direct Subclasses:
None
 

Template Slots
Slot name Documentation Type Allowed Values/Classes Cardinality Default
:OWL-DIFFERENT-FROM Instance  owl:Class  0:*   
:OWL-VERSION-INFO String    0:*   
:OWL-SEE-ALSO String    0:*   
:OWL-LABELS String    0:*   
:OWL-DISJOINT-CLASSES Instance  :OWL-CLASS  0:*   
:OWL-SAME-AS Instance  owl:Class  0:*   
:OWL-IS-DEFINED-BY String    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:56 EST 2003