Class Hierarchy for
demo1-5
Project
:THING
:SYSTEM-CLASS
:META-CLASS
:CLASS
:STANDARD-CLASS
owl:Class
:OWL-CLASS
:OWL-ANONYMOUS-CLASS
:OWL-ENUMERATION-CLASS
:OWL-RESTRICTION
:OWL-ALL-RESTRICTION
:OWL-HAS-RESTRICTION
:OWL-MAXCARDI-RESTRICTION
:OWL-CARDI-RESTRICTION
:OWL-MINCARDI-RESTRICTION
:OWL-CARDI-RESTRICTION
:OWL-SOME-RESTRICTION
:OWL-LOGICAL-CLASS
:OWL-COMPLEMENT-CLASS
:OWL-INTERSECTION-CLASS
:OWL-UNION-CLASS
owl:Class
:SLOT
:STANDARD-SLOT
owl:Property
:FACET
:STANDARD-FACET
:CONSTRAINT
:PAL-CONSTRAINT
:ANNOTATION
:INSTANCE-ANNOTATION
:RELATION
:DIRECTED-BINARY-RELATION
:OWL-ANONYMOUS-ROOT
is-a-Set-of ≤ 1
EventSet
FiniteEventSet
∀ is-a-Set-of Event
EventSet
FiniteEventSet
is-a-Set-of ≤ 1
ClockStructure
StochasticClockStructure
DeterministicClockStructure
NoClockStructure
∀ is-a-Set-of EventClock
ClockStructure
StochasticClockStructure
DeterministicClockStructure
NoClockStructure
is-a-Set-of ≤ 1
StateSpace
ContinuousStateSpace
DiscreteStateSpace
FiniteStateSpace
CountableStateSpace
∀ is-a-Set-of State
StateSpace
ContinuousStateSpace
DiscreteStateSpace
FiniteStateSpace
CountableStateSpace
is-a-Set-of ≤ 1
TimeSet
DiscreteTimeSet
ContinuousTimeSet
∀ is-a-Set-of Time
TimeSet
DiscreteTimeSet
ContinuousTimeSet
is-a-Set-of ≤ 1
PlaceSet
FinitePlaceSet
∀ is-a-Set-of Place
PlaceSet
FinitePlaceSet
is-a-Set-of ≤ 1
TransitionFunction
ProbabilisticTransitionFunction
DeterministicTransitionFunction
∀ is-a-Set-of Transition
TransitionFunction
ProbabilisticTransitionFunction
DeterministicTransitionFunction
probabilisitic ∋ true
ProbabilisticTransition
DeterministicTransition
∃ is-a-Set-of ProbabilisticTransition
ProbabilisticTransitionFunction
DeterministicTransitionFunction
is-a-Set-of = 0
NoClockStructure
EventClock ⊓ (∀ is-Determined-by DeterministicClockSetting)
has-Set-Type ∋ _finite
FiniteEventSet
Event ⊓ (has-Set-Type ∋ _cardinality_One)
has-Set-Type ∋ _cardinality_One
∀ has-EventSet (Event ⊓ (has-Set-Type ∋ _cardinality_One))
SemiMarkovProcess
DTMC
CTMC
is-Triggered-by ∋ _Single_Event_Triggering
GSMP-SE
SemiMarkovProcess
DTMC
CTMC
has-Set-Type ∋ _finite
FinitePlaceSet
has-PlaceSet ≤ 1
GSMP
GSMP-SE
SemiMarkovProcess
DTMC
CTMC
StochasticTimedAutomata
ProbabilisticTimedAutomata
TimedAutomata
StateAutomata
FiniteStateAutomata
has-PlaceSet ∋ _Undefined_PlaceSet
GSMP
GSMP-SE
SemiMarkovProcess
DTMC
CTMC
StochasticTimedAutomata
ProbabilisticTimedAutomata
TimedAutomata
StateAutomata
FiniteStateAutomata
has-TransitionFunction ≤ 1
GSMP
GSMP-SE
SemiMarkovProcess
DTMC
CTMC
StochasticTimedAutomata
ProbabilisticTimedAutomata
TimedAutomata
StateAutomata
FiniteStateAutomata
has-ClockStructure ≤ 1
GSMP
GSMP-SE
SemiMarkovProcess
DTMC
CTMC
StochasticTimedAutomata
ProbabilisticTimedAutomata
TimedAutomata
StateAutomata
FiniteStateAutomata
is-Triggered-by ∋ _Multiple_Event_Triggering
GSMP
GSMP-SE
SemiMarkovProcess
DTMC
CTMC
StochasticTimedAutomata
ProbabilisticTimedAutomata
TimedAutomata
StateAutomata
FiniteStateAutomata
EventClock ⊓ (∀ is-Determined-by StochasticClockSetting)
∀ is-Determined-by StochasticClockSetting
∀ is-a-Set-of (EventClock ⊓ (∀ is-Determined-by StochasticClockSetting))
StochasticClockStructure
DeterministicClockStructure
NoClockStructure
∀ has-ClockStructure StochasticClockStructure
GSMP
GSMP-SE
SemiMarkovProcess
DTMC
CTMC
StochasticTimedAutomata
ProbabilisticTimedAutomata
TimedAutomata
StateAutomata
FiniteStateAutomata
∀ has-TransitionFunction ProbabilisticTransitionFunction
GSMP
GSMP-SE
SemiMarkovProcess
DTMC
CTMC
StochasticTimedAutomata
ProbabilisticTimedAutomata
TimedAutomata
StateAutomata
FiniteStateAutomata
is-Scheduled-by ∋ _Automata_Scheduling
GSMP
GSMP-SE
SemiMarkovProcess
DTMC
CTMC
StochasticTimedAutomata
ProbabilisticTimedAutomata
TimedAutomata
StateAutomata
FiniteStateAutomata
is-Enabled-by ∋ _Event_Enabling
GSMP
GSMP-SE
SemiMarkovProcess
DTMC
CTMC
StochasticTimedAutomata
ProbabilisticTimedAutomata
TimedAutomata
StateAutomata
FiniteStateAutomata
{_finite _countably-Infinite}
∃ has-Set-Type {_finite _countably-Infinite}
DiscreteTimeSet
∀ has-TimeSet DiscreteTimeSet
DTMC
is-Determined-by ∋ _Poisson_Process
DTMC
∀ is-Determined-by DeterministicClockSetting
∀ is-a-Set-of (EventClock ⊓ (∀ is-Determined-by DeterministicClockSetting))
DeterministicClockStructure
NoClockStructure
∀ has-ClockStructure NoClockStructure
StateAutomata
FiniteStateAutomata
∀ has-ClockStructure DeterministicClockStructure
TimedAutomata
StateAutomata
FiniteStateAutomata
probabilisitic ∋ false
DeterministicTransition
probability ∋ 1.0
DeterministicTransition
∀ is-a-Set-of DeterministicTransition
DeterministicTransitionFunction
∀ has-TransitionFunction DeterministicTransitionFunction
ProbabilisticTimedAutomata
TimedAutomata
StateAutomata
FiniteStateAutomata
is-Triggered-by ∋ _Single_Event_Triggering
StochasticTimedAutomata
ProbabilisticTimedAutomata
TimedAutomata
StateAutomata
FiniteStateAutomata
has-Set-Type ∋ _uncountably-infinite
ContinuousStateSpace
has-Set-Type ≤ 1
ContinuousStateSpace
is-Triggered-by ∋ _Single_Event_Triggering
SingleEventTransition
is-Triggered-by ∋ _Multiple_Event_Triggering
MultupleEventTransition
SingleEventTransition
{_countably-Infinite _finite}
∃ has-Set-Type {_countably-Infinite _finite}
DiscreteStateSpace
FiniteStateSpace
CountableStateSpace
is-Initialized-by ∋ _Probabilistic_Initalization
ProbabilisticInitialState
has-Set-Type ∋ _uncountably-infinite
ContinuousTimeSet
∀ has-ClockStructure NoClockStructure
PetriNet
BoundedPetriNet
FreeChoiceNet
∀ has-ClockStructure DeterministicClockStructure
TimedPetriNet
PetriNet
BoundedPetriNet
FreeChoiceNet
∀ has-TransitionFunction DeterministicTransitionFunction
TimedPetriNet
PetriNet
BoundedPetriNet
FreeChoiceNet
∀ has-ClockStructure StochasticClockStructure
GSPN
TimedPetriNet
PetriNet
BoundedPetriNet
FreeChoiceNet
is-Triggered-by ∋ _Petri_Net_Triggering
GSPN
TimedPetriNet
PetriNet
BoundedPetriNet
FreeChoiceNet
is-Enabled-by ∋ _Petri_Net_Enabling
GSPN
TimedPetriNet
PetriNet
BoundedPetriNet
FreeChoiceNet
is-Scheduled-by ∋ _Petri_Net_Scheduling
GSPN
TimedPetriNet
PetriNet
BoundedPetriNet
FreeChoiceNet
∀ has-TransitionFunction ProbabilisticTransitionFunction
GSPN
TimedPetriNet
PetriNet
BoundedPetriNet
FreeChoiceNet
has-Set-Type ∋ _finite
FiniteStateSpace
has-Set-Type ≤ 1
FiniteStateSpace
∀ has-StateSpace FiniteStateSpace
FiniteStateAutomata
∀ has-TimeSet ContinuousTimeSet
CTMC
is-Determined-by ∋ _Poisson_Process
CTMC
is-Initialized-by ∋ _Deterministic_Initialization
DeterministicInitialState
has-Set-Type ∋ _countably-Infinite
CountableStateSpace
has-Set-Type ≤ 1
CountableStateSpace
:OWL-ALL-DIFFERENT
:OWL-ONTOLOGY
owl:Class
owl:Property
:DIRECTED-BINARY-RELATION
ModelElement
ModelPrimitive
Time
State
Event
EventClock
Place
Token
Color
Transition
ProbabilisticTransition
DeterministicTransition
MultupleEventTransition
SingleEventTransition
ModelBuildingBlock
TransitionFunction
ProbabilisticTransitionFunction
DeterministicTransitionFunction
EventSet
FiniteEventSet
ClockStructure
StochasticClockStructure
DeterministicClockStructure
NoClockStructure
StateSpace
ContinuousStateSpace
DiscreteStateSpace
FiniteStateSpace
CountableStateSpace
TimeSet
DiscreteTimeSet
ContinuousTimeSet
PlaceSet
FinitePlaceSet
InitialState
ProbabilisticInitialState
DeterministicInitialState
ModelMechanism
ClockSetting
StochasticClockSetting
DeterministicClockSetting
TransitionTriggering
EventScheduling
TransitionEnabling
Initialization
TimingSpecification
Model
GSMP
GSMP-SE
SemiMarkovProcess
DTMC
CTMC
StochasticTimedAutomata
ProbabilisticTimedAutomata
TimedAutomata
StateAutomata
FiniteStateAutomata
GSPN
TimedPetriNet
PetriNet
BoundedPetriNet
FreeChoiceNet
SetType
Generated on Fri Oct 31 11:01:57 EST 2003