Project: included
Class :OWL-ANONYMOUS-ROOT

Concrete Class Extends 

        :SYSTEM-CLASS

 

Direct Instances:

None

 

Direct Subclasses:

1. is-a-Set-of ≤ 1
2. ∀ is-a-Set-of Event
3. is-a-Set-of ≤ 1
4. ∀ is-a-Set-of EventClock
5. is-a-Set-of ≤ 1
6. ∀ is-a-Set-of State
7. is-a-Set-of ≤ 1
8. ∀ is-a-Set-of Time
9. is-a-Set-of ≤ 1
10. ∀ is-a-Set-of Place
11. is-a-Set-of ≤ 1
12. ∀ is-a-Set-of Transition
13. probabilisitic ∋ true
14. ∃ is-a-Set-of ProbabilisticTransition
15. is-a-Set-of = 0
16. EventClock ⊓ (∀ is-Determined-by DeterministicClockSetting)
17. has-Set-Type ∋ _finite
18. Event ⊓ (has-Set-Type ∋ _cardinality_One)
19. has-Set-Type ∋ _cardinality_One
20. ∀ has-EventSet (Event ⊓ (has-Set-Type ∋ _cardinality_One))
21. is-Triggered-by ∋ _Single_Event_Triggering
22. has-Set-Type ∋ _finite
23. has-PlaceSet ≤ 1
24. has-PlaceSet ∋ _Undefined_PlaceSet
25. has-TransitionFunction ≤ 1
26. has-ClockStructure ≤ 1
27. is-Triggered-by ∋ _Multiple_Event_Triggering
28. EventClock ⊓ (∀ is-Determined-by StochasticClockSetting)
29. ∀ is-Determined-by StochasticClockSetting
30. ∀ is-a-Set-of (EventClock ⊓ (∀ is-Determined-by StochasticClockSetting))
31. ∀ has-ClockStructure StochasticClockStructure
32. ∀ has-TransitionFunction ProbabilisticTransitionFunction
33. is-Scheduled-by ∋ _Automata_Scheduling
34. is-Enabled-by ∋ _Event_Enabling
35. {_finite _countably-Infinite}
36. ∃ has-Set-Type {_finite _countably-Infinite}
37. ∀ has-TimeSet DiscreteTimeSet
38. is-Determined-by ∋ _Poisson_Process
39. ∀ is-Determined-by DeterministicClockSetting
40. ∀ is-a-Set-of (EventClock ⊓ (∀ is-Determined-by DeterministicClockSetting))
41. ∀ has-ClockStructure NoClockStructure
42. ∀ has-ClockStructure DeterministicClockStructure
43. probabilisitic ∋ false
44. probability ∋ 1.0
45. ∀ is-a-Set-of DeterministicTransition
46. ∀ has-TransitionFunction DeterministicTransitionFunction
47. is-Triggered-by ∋ _Single_Event_Triggering
48. has-Set-Type ∋ _uncountably-infinite
49. has-Set-Type ≤ 1
50. is-Triggered-by ∋ _Single_Event_Triggering
51. is-Triggered-by ∋ _Multiple_Event_Triggering
52. {_countably-Infinite _finite}
53. ∃ has-Set-Type {_countably-Infinite _finite}
54. is-Initialized-by ∋ _Probabilistic_Initalization
55. has-Set-Type ∋ _uncountably-infinite
56. ∀ has-ClockStructure NoClockStructure
57. ∀ has-ClockStructure DeterministicClockStructure
58. ∀ has-TransitionFunction DeterministicTransitionFunction
59. ∀ has-ClockStructure StochasticClockStructure
60. is-Triggered-by ∋ _Petri_Net_Triggering
61. is-Enabled-by ∋ _Petri_Net_Enabling
62. is-Scheduled-by ∋ _Petri_Net_Scheduling
63. ∀ has-TransitionFunction ProbabilisticTransitionFunction
64. has-Set-Type ∋ _finite
65. has-Set-Type ≤ 1
66. ∀ has-StateSpace FiniteStateSpace
67. ∀ has-TimeSet ContinuousTimeSet
68. is-Determined-by ∋ _Poisson_Process
69. is-Initialized-by ∋ _Deterministic_Initialization
70. has-Set-Type ∋ _countably-Infinite
71. has-Set-Type ≤ 1

 

Template Slots
Slot name	Documentation	Type	Allowed Values/Classes	Cardinality	Default
:OWL-DIFFERENT-FROM		Instance	:THING	0:*
:OWL-VERSION-INFO		String		0:*
:OWL-SEE-ALSO		String		0:*
:OWL-SAME-AS		Instance	:THING	0:*
:OWL-IS-DEFINED-BY		String		0:*
:OWL-LABELS		String		0:*

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

Return to class hierarchy