Refine
Year of publication
- 2009 (24) (remove)
Document Type
- Doctoral Thesis (24) (remove)
Keywords
- Akzeptanz (2)
- Heilanstalt (2)
- Pflegeanstalt (2)
- Schizophrenie (2)
- Abwasserreinigung (1)
- Achtsamkeit (1)
- Aktionsart (1)
- Aktiver Wortschatz (1)
- Alltäglichkeit (1)
- Ambulante Behandlung (1)
- Aneignung (1)
- Anstaltspsychiater (1)
- Arzt-Angehörigen-Kommunikation (1)
- Aspekt <Linguistik> (1)
- Außeralltäglichkeit (1)
- Benetzung (1)
- Beta-Blocker (1)
- Bildsegmentierung (1)
- Bildung (1)
- Bildverarbeitung (1)
- Bodenwasser (1)
- Business English (1)
- CSCW (1)
- Charisma (1)
- Cheilolejeunea ; continental tropical Africa ; rainforest (1)
- Cognitive-behavioral group therapy (1)
- Computermodell (1)
- Computersimulation (1)
- Conceptual Metaphor Theory (1)
- Coping (1)
- DRIFTS (1)
- Data compression (1)
- Datenkompression (1)
- Derrida (1)
- Diagnoseunterstützung (1)
- Diagnosis assistance (1)
- Diffusion (1)
- Echtzeitsystem (1)
- Ehe (1)
- Empirical Research (1)
- Erziehung (1)
- Frau (1)
- Fremdsprachenunterricht (1)
- Funktionelle Störung (1)
- Fusion (1)
- Gefäßanalyse (1)
- Gesundheitskommunikation (1)
- Graphik-Hardware (1)
- Gruppenarbeit (1)
- Habitus (1)
- Humus (1)
- Hydrophobie (1)
- Individualisierung (1)
- Instructed Second Language Acquisition (1)
- Interactive engagement (1)
- Islam (1)
- Java (1)
- Just-in-Time Teaching (1)
- Kabel (1)
- Karrierefaktor (1)
- Kausalanalyse (1)
- Klingenmünster (1)
- Klinische Psychologie (1)
- Kognitiv-behaviorale Gruppentherapie (1)
- Kognitive Linguistik (1)
- Kollaboration (1)
- Konflikt (1)
- Konjugation (1)
- Kontaktwinkel (1)
- Kriegsneurose (1)
- Kultur (1)
- Lendenwirbelsäule (1)
- Linguistische Gesprächsanalyse (1)
- Lumbar Spine (1)
- MBS Model (1)
- Mediator (1)
- Medienphilosophie (1)
- Medientheorie (1)
- Mehrkörpersystem (1)
- Mehrprozessorsystem (1)
- Meiofauna (1)
- Mesofauna (1)
- Metapher (1)
- Misskonzepte (1)
- Modellierung (1)
- Multiple somatoforme Symptome (1)
- Multivariable Statistik (1)
- Nationalsozialismus (1)
- Oberflächeneigenschaft (1)
- Optimismus (1)
- Ozonisierung (1)
- Partnerschaft (1)
- Passiver Wortschatz (1)
- Perfect (1)
- Perfekt (1)
- Persönlichkeit (1)
- Pestizid (1)
- Petri-Netz (1)
- Positive Peer Culture (1)
- Present Perfect (1)
- Präkonzepte (1)
- Präsentisches Perfekt (1)
- Psychiatrie (1)
- Psychische Erkrankungen (1)
- Psychische Störung (1)
- Psychologie (1)
- Psychotherapie (1)
- Randomisierte kontrollierte Therapieevaluation (1)
- Ratgeber (1)
- Regenwald ; Afrika ; Cheilolejeunea (1)
- Ressourcen (1)
- Risikoanalyse (1)
- Schlauch (1)
- Sediment (1)
- Selbstwirksamkeit (1)
- Simulation (1)
- Software Engineering (1)
- Somatoform disorder (1)
- Somatoform symptoms (1)
- Somatoforme Störung (1)
- Sprachliche Handlungsmuster (1)
- Sprachtheorie (1)
- Stresstheorien (1)
- Südafrika (1)
- Tempus (1)
- Tense (1)
- Time (1)
- Tod (1)
- Trauer (1)
- Tropfenform (1)
- Umkehrosmose (1)
- Unterrichtsforschung (1)
- VIACOBI (1)
- Vascular analysis (1)
- Verb (1)
- Verbal Aspect (1)
- Vergangenheitstempus (1)
- Verifikation (1)
- Verlust (1)
- Vermittlung (1)
- Virtualisation (1)
- Virtualisierung (1)
- Visualisierung von Verbformen (1)
- Vocabulary (1)
- Vokabellernen (1)
- Volumen-Rendering (1)
- Wavelet (1)
- Weltkrieg <1939-1945> (1)
- Wirkfaktor (1)
- Wirkfaktoren (1)
- Wirtschaftsenglisch (1)
- Wortschatz (1)
- Zeit (1)
- Zwangssterilisation (1)
- Zweiter Weltkrieg (1)
- acceptance (1)
- adaptiver Unterricht (1)
- alternative fromeworks (1)
- collaboration (1)
- concurrency (1)
- contact angle (1)
- deductive (1)
- diffusion (1)
- groupwork (1)
- hydrophobicity (1)
- inszeniertes Charisma (1)
- mechanism of action (1)
- multiprocessing (1)
- ozonation of beta blockers (1)
- ozone reactivity (1)
- pH-Wert (1)
- parallel computing (1)
- primary care (1)
- randomized controlled trial (1)
- real-time computing (1)
- repellency (1)
- reverse osmosis (1)
- risk assessment (1)
- schizophrene Frau (1)
- soil organic matter (1)
- soil pH (1)
- soil solution (1)
- soziale Konstruktion von Wirklichkeit (1)
- surface characteristics (1)
- verification (1)
- wastewater treatment (1)
- wettability (1)
- Ästuar (1)
- Ätiologie (1)
Institute
- Arbeitsbereich Biopsychologie, Klinische Psychologie und Psychotherapie (3)
- Institut für Anglistik und Amerikanistik (2)
- Institut für Computervisualistik (2)
- Institut für Germanistik (2)
- Institut für Informatik (2)
- Institut für Integrierte Naturwissenschaften (2)
- Institut für Umweltwissenschaften (2)
- Arbeitsbereich Diagnostik, Differentielle und Persönlichkeitspsychologie, Methodik und Evaluation (1)
- Arbeitsbereich Kognitive Psychologie (1)
- Institut für Psychologie (1)
- Institut für Pädagogik, Abteilung Pädagogik (1)
- Institut für Softwaretechnik (1)
- Institut für Soziologie und Politikwissenschaft (1)
- Institut für Sportwissenschaft (1)
- Institut für Wirtschafts- und Verwaltungsinformatik (1)
- Institut für naturwissenschaftliche Bildung (1)
Within this thesis time evaluated predicate/transition nets (t-pr/t-nets) have been developed for the purpose to model, simulate and verify complex real-time systems. Therefore, t-pr/t-nets integrate concepts to model timing constraints and can be analysed by the means of structural analysis such as the calculation of s- and t-invariants as well as the identification of traps and co-traps. The applicability of t-pr/t-nets to model, simulate and verify complex systems in the domain of safety-critical real-time systems is proven by the Earliest-Deadline-First-Protocol (EDF) and the Priority-Inheritance-Protocol (PIP). Therefore, the EDF and PIP are modeled by means of t-pr/t-nets. The resulting t-pr/t-nets are verified using structural analysis methods. Due to the enormous complexity and the applicability of structural analysis methods for the verification of the EDF and PIP, it can be shown that t-pr/t-nets are appropriate to model, simulate and verify complex systems in the field of safety-critical real-time systems.