Modellierung verteilter Systeme at Universität Hamburg

Flashcards and summaries for Modellierung verteilter Systeme at the Universität Hamburg

Arrow Arrow

It’s completely free

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

Study with flashcards and summaries for the course Modellierung verteilter Systeme at the Universität Hamburg

Exemplary flashcards for Modellierung verteilter Systeme at the Universität Hamburg on StudySmarter:

Endmarkierung

Exemplary flashcards for Modellierung verteilter Systeme at the Universität Hamburg on StudySmarter:

Markierung

Exemplary flashcards for Modellierung verteilter Systeme at the Universität Hamburg on StudySmarter:

Elementare Systemnetze (Allgemein)

This was only a preview of our StudySmarter flashcards.
Flascard Icon Flascard Icon

Millions of flashcards created by students

Flascard Icon Flascard Icon

Create your own flashcards as quick as possible

Flascard Icon Flascard Icon

Learning-Assistant with spaced repetition algorithm

Sign up for free!

Exemplary flashcards for Modellierung verteilter Systeme at the Universität Hamburg on StudySmarter:

Plätze?

Exemplary flashcards for Modellierung verteilter Systeme at the Universität Hamburg on StudySmarter:

Kausale Unabhängigkeit

Exemplary flashcards for Modellierung verteilter Systeme at the Universität Hamburg on StudySmarter:

Warum Petri-Netze? Es gibt UML-Diagramme, die ähnliches können.

Exemplary flashcards for Modellierung verteilter Systeme at the Universität Hamburg on StudySmarter:

Transitionen

This was only a preview of our StudySmarter flashcards.
Flascard Icon Flascard Icon

Millions of flashcards created by students

Flascard Icon Flascard Icon

Create your own flashcards as quick as possible

Flascard Icon Flascard Icon

Learning-Assistant with spaced repetition algorithm

Sign up for free!

Exemplary flashcards for Modellierung verteilter Systeme at the Universität Hamburg on StudySmarter:

Modi

Exemplary flashcards for Modellierung verteilter Systeme at the Universität Hamburg on StudySmarter:

Markierungsgraphen

Exemplary flashcards for Modellierung verteilter Systeme at the Universität Hamburg on StudySmarter:

Anzahl Elemente eines Kausalnetzes

Exemplary flashcards for Modellierung verteilter Systeme at the Universität Hamburg on StudySmarter:

1-beschränktes elementares Systemnetz


This was only a preview of our StudySmarter flashcards.
Flascard Icon Flascard Icon

Millions of flashcards created by students

Flascard Icon Flascard Icon

Create your own flashcards as quick as possible

Flascard Icon Flascard Icon

Learning-Assistant with spaced repetition algorithm

Sign up for free!

Exemplary flashcards for Modellierung verteilter Systeme at the Universität Hamburg on StudySmarter:

Elementare Systemnetze (Bestandteile)

Your peers in the course Modellierung verteilter Systeme at the Universität Hamburg create and share summaries, flashcards, study plans and other learning materials with the intelligent StudySmarter learning app.

Get started now!

Flashcard Flashcard

Exemplary flashcards for Modellierung verteilter Systeme at the Universität Hamburg on StudySmarter:

Modellierung verteilter Systeme

Endmarkierung

Kann in diesem Zustand immer verharren.

Es sind höchstens kalte Transitionen aktiviert

Modellierung verteilter Systeme

Markierung

Verteilung von Marken auf Plätzen

Modellierung verteilter Systeme

Elementare Systemnetze (Allgemein)

  • ausschließlich schwarze Punkte als Marken
  • eine Transition tritt ein -> genau eine Marke fließt durch jeden angrenzenden Pfeil (Kanten haben keine Anschrift)

Modellierung verteilter Systeme

Plätze?

passive Komponente, kann Dinge lagern, speichern, sichtbar machen, in einem Zustand befinden

Modellierung verteilter Systeme

Kausale Unabhängigkeit

Über Aktionen nicht verkettbar

Modellierung verteilter Systeme

Warum Petri-Netze? Es gibt UML-Diagramme, die ähnliches können.

wqdqwdq

Modellierung verteilter Systeme

Transitionen

aktive Komponente, kann Dinge erzeugen, verbrauchen, transportieren

Modellierung verteilter Systeme

Modi

Die Variablen in den Ausdrücken sind dabei Parameter, die
verschiedene Instanziierungen (,,Modi") einer Transition be-
schreiben.

Modellierung verteilter Systeme

Markierungsgraphen

Erreichbare Markierungen und Schritte eines Systemnetzes.
Knoten sind erreichbare Markierungen

Kanten sind Schritte zwischen den erreichbaren Markierungen


M ---- (t1, beta1) ----> M'

Modellierung verteilter Systeme

Anzahl Elemente eines Kausalnetzes

Im Gegensatz zu einem Systemnetz kann ein Kausalnetz
durchaus unendlich viele Elemente haben.

Modellierung verteilter Systeme

1-beschränktes elementares Systemnetz


Wenn für jede erreichbare Markierung M und jeden Platz p von N gilt: M(p) <= 1.

Modellierung verteilter Systeme

Elementare Systemnetze (Bestandteile)

  • Netzstruktur (P,T,F)
  • Anfangsmarkierung M_0
  • Einige Transitionen sind kalt (mit epsilon)
  • Jeder Platz trägt Marken

Sign up for free to see all flashcards and summaries for Modellierung verteilter Systeme at the Universität Hamburg

Singup Image Singup Image

Verteilte Systeme at

Duale Hochschule Baden-Württemberg

Verteilte Systeme at

Hochschule Osnabrück

Verteilte Systeme at

Hochschule Heilbronn

Verteilte System at

TU Berlin

Verteilte Systeme 2 at

Hochschule Karlsruhe

Similar courses from other universities

Check out courses similar to Modellierung verteilter Systeme at other universities

Back to Universität Hamburg overview page

What is StudySmarter?

What is StudySmarter?

StudySmarter is an intelligent learning tool for students. With StudySmarter you can easily and efficiently create flashcards, summaries, mind maps, study plans and more. Create your own flashcards e.g. for Modellierung verteilter Systeme at the Universität Hamburg or access thousands of learning materials created by your fellow students. Whether at your own university or at other universities. Hundreds of thousands of students use StudySmarter to efficiently prepare for their exams. Available on the Web, Android & iOS. It’s completely free.

Awards

Best EdTech Startup in Europe

Awards
Awards

EUROPEAN YOUTH AWARD IN SMART LEARNING

Awards
Awards

BEST EDTECH STARTUP IN GERMANY

Awards
Awards

Best EdTech Startup in Europe

Awards
Awards

EUROPEAN YOUTH AWARD IN SMART LEARNING

Awards
Awards

BEST EDTECH STARTUP IN GERMANY

Awards
X

StudySmarter - The study app for students

StudySmarter

4.5 Stars 1100 Rating
Start now!
X

Good grades at university? No problem with StudySmarter!

89% of StudySmarter users achieve better grades at university.

50 Mio Flashcards & Summaries
Create your own content with Smart Tools
Individual Learning-Plan

Learn with over 1 million users on StudySmarter.

Already registered? Just go to Login