Project: demo1-5
Class GSMP

Concrete Class Extends 

        Model, has-PlaceSet ≤ 1, has-PlaceSet ∋ _Undefined_PlaceSet, has-TransitionFunction ≤ 1, has-ClockStructure ≤ 1, is-Triggered-by ∋ _Multiple_Event_Triggering, ∀ has-ClockStructure StochasticClockStructure, ∀ has-TransitionFunction ProbabilisticTransitionFunction, is-Scheduled-by ∋ _Automata_Scheduling, is-Enabled-by ∋ _Event_Enabling

 

Direct Instances:

None

 

Direct Subclasses:

1. GSMP-SE
2. StochasticTimedAutomata

 

Class Documentation:

Generalized Semi-Markov Process models. PlaceSet is undefined for these 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:*
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-TransitionFunction		Instance	ProbabilisticTransitionFunction	0:*
has-TimeSet		Instance	TimeSet	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