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-TimeSet | Instance | TimeSet | 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 |