Schneller Zugriff als Browser!
47 Beziehungen: Aktivitätsdiagramm, Algorithmus, Asynchroner Schaltkreis, Automatisierung, Bipartiter Graph, Boolescher Differentialkalkül, Carl Adam Petri, Datenelement, Deadlock, Dirk Abel (Ingenieur), Diskret, Dissertation, Eike Jessen, Endlicher Automat, Entscheidbar, Ernst Mayr (Informatiker), Erreichbarkeitsgraph, Geschäftsprozess, Geschäftsprozessmodellierung, Graph (Graphentheorie), Graphentheorie, Kante (Graphentheorie), Klasse (Objektorientierung), Knoten (Graphentheorie), Komplexitätstheorie, Lecture Notes in Computer Science, Massachusetts Institute of Technology, MIT Computer Science and Artificial Intelligence Laboratory, Modell (Wissenschaft), Nebenläufigkeit, Netze in Netzen (Petrinetze), Objektorientierung, Operationelle Semantik, Paralleler Algorithmus, Prädikat (Logik), Proceedings of the IEEE, Softwaredesign, Stoffstromnetz, Theoretische Informatik, Transitionssystem, Unified Modeling Language, Verifizierung, Verteiltes System, Warteschlangen-Petri-Netz, Wil van der Aalst, Workflow-Management, Zustandsraum (Informatik).
Aktivitätsdiagramm
Ein Aktivitätsdiagramm ist ein Verhaltensdiagramm der Unified Modeling Language (UML), einer Modellierungssprache für Software und andere Systeme, und stellt die Vernetzung von elementaren Aktionen und deren Verbindungen mit Kontroll- und Datenflüssen grafisch dar.
Neu!!: Petri-Netz und Aktivitätsdiagramm · Mehr sehen »
Algorithmus
sowjetischen Briefmarke anlässlich seines 1200-jährigen Geburtsjubiläums Ein Algorithmus (benannt nach al-Chwarizmi, von arabisch: Choresmier) ist eine eindeutige Handlungsvorschrift zur Lösung eines Problems oder einer Klasse von Problemen.
Neu!!: Petri-Netz und Algorithmus · Mehr sehen »
Asynchroner Schaltkreis
Asynchrone Schaltkreise sind elektrische Schaltungen, die im Gegensatz zu synchronen Schaltkreisen ohne einen globalen Takt arbeiten.
Neu!!: Petri-Netz und Asynchroner Schaltkreis · Mehr sehen »
Automatisierung
Automatisierung ist sowohl die Bezeichnung für einen Arbeitsprozess (das Automatisieren) als auch für dessen Arbeitsergebnis (automatisierte Arbeitsobjekte).
Neu!!: Petri-Netz und Automatisierung · Mehr sehen »
Bipartiter Graph
Knoten pro Teilmenge Ein einfacher, nicht vollständiger, bipartiter Graph mit Partitionsklassen U und V Ein bipartiter oder paarer Graph ist ein mathematisches Modell für Beziehungen zwischen den Elementen zweier Mengen.
Neu!!: Petri-Netz und Bipartiter Graph · Mehr sehen »
Boolescher Differentialkalkül
Der Boolesche Differentialkalkül (BDK) ist ein Teilgebiet der Booleschen Algebra, der sich speziell mit Änderungen von Booleschen Variablen und Booleschen Funktionen beschäftigt.
Neu!!: Petri-Netz und Boolescher Differentialkalkül · Mehr sehen »
Carl Adam Petri
Carl Adam Petri (2009) Carl Adam Petri (* 12. Juli 1926 in Leipzig; † 2. Juli 2010 in Siegburg) war ein deutscher Mathematiker und Informatiker.
Neu!!: Petri-Netz und Carl Adam Petri · Mehr sehen »
Datenelement
Ein Datenelement ist im Datenmanagement eine atomare Dateneinheit, die in einem gegebenen Kontext (sei es unternehmensweit – sei es auf den Bereich eines Projekts beschränkt) aus der betrieblichen Realität als Informationsbedarf abgeleitet und inhaltlich festgelegt wird.
Neu!!: Petri-Netz und Datenelement · Mehr sehen »
Deadlock
Ein Deadlock ist eine Situation, in der sich die Alternativen eines Dilemmas gegenseitig blockieren, wodurch die Situation ausweglos wird.
Neu!!: Petri-Netz und Deadlock · Mehr sehen »
Dirk Abel (Ingenieur)
Dirk Abel (* 10. September 1958 in Kotthausen) ist ein deutscher Maschinenbauingenieur und Professor für Regelungstechnik.
Neu!!: Petri-Netz und Dirk Abel (Ingenieur) · Mehr sehen »
Diskret
Das Adjektiv diskret (lat. discernere ‚trennen‘, ‚unterscheiden‘) wurde im 16.
Neu!!: Petri-Netz und Diskret · Mehr sehen »
Dissertation
Eine Dissertation (abgekürzt Diss.), Doktorarbeit, seltener Promotionsschrift, Dissertationsschrift oder Doktorschrift, offiziell auch Inauguraldissertation, Antritts- oder Einführungsdissertation, ist eine wissenschaftliche Arbeit zur Erlangung eines Doktorgrades an einer Wissenschaftlichen Hochschule mit Promotionsrecht.
Neu!!: Petri-Netz und Dissertation · Mehr sehen »
Eike Jessen
Eike Jessen 2008 Eike Jessen, auch Eicke Jessen (* 28. August 1933 in Göttingen; † 18. März 2015 in Tutzing) war ein deutscher Informatiker und Professor für Informatik mit inhaltlichem Schwerpunkt auf Architektur und Einsatz von Rechnersystemen.
Neu!!: Petri-Netz und Eike Jessen · Mehr sehen »
Endlicher Automat
Abbildung 1: Beispiel eines EA, der eine Tür beschreibt Ein endlicher Automat (EA, auch Zustandsmaschine, Zustandsautomat;, FSM) ist ein Modell eines Verhaltens, bestehend aus Zuständen, Zustandsübergängen und Aktionen.
Neu!!: Petri-Netz und Endlicher Automat · Mehr sehen »
Entscheidbar
In der theoretischen Informatik heißt eine Eigenschaft auf einer Menge entscheidbar (auch rekursiv, rekursiv ableitbar), wenn es ein Entscheidungsverfahren für sie gibt.
Neu!!: Petri-Netz und Entscheidbar · Mehr sehen »
Ernst Mayr (Informatiker)
Ernst Wilhelm Mayr (* 18. Mai 1950 in Fürstenfeldbruck) ist ein deutscher Informatiker.
Neu!!: Petri-Netz und Ernst Mayr (Informatiker) · Mehr sehen »
Erreichbarkeitsgraph
Ein Erreichbarkeitsgraph (auch Markierungsgraph genannt) ist ein gerichteter Graph, der aus einem Petri-Netz und einer Anfangsmarkierung gewonnen werden kann.
Neu!!: Petri-Netz und Erreichbarkeitsgraph · Mehr sehen »
Geschäftsprozess
Struktur von (Geschäfts-)Prozessen Der Geschäftsprozess (Abkürzung: GP) ist im Prozessmanagement ein Prozess, der in Unternehmen der Erfüllung der Unternehmensziele dient, indem er vorhandene Geschäftsfelder bearbeitet und neue entwickelt.
Neu!!: Petri-Netz und Geschäftsprozess · Mehr sehen »
Geschäftsprozessmodellierung
Bei der Geschäftsprozessmodellierung (engl.: Business Process Modeling) werden Geschäftsprozesse oder Ausschnitte daraus abstrahiert, meist grafisch dargestellt und somit modelliert.
Neu!!: Petri-Netz und Geschäftsprozessmodellierung · Mehr sehen »
Graph (Graphentheorie)
Ein Graph ist in der Graphentheorie eine abstrakte Struktur, die eine Menge von Objekten zusammen mit den zwischen diesen Objekten bestehenden Verbindungen repräsentiert.
Neu!!: Petri-Netz und Graph (Graphentheorie) · Mehr sehen »
Graphentheorie
Ungerichteter Graph mit sechs Knoten. Die Graphentheorie (seltener auch Grafentheorie) ist ein Teilgebiet der diskreten Mathematik und der theoretischen Informatik.
Neu!!: Petri-Netz und Graphentheorie · Mehr sehen »
Kante (Graphentheorie)
Darstellung der Knoten, Kanten und Maschen Kanten sind in der Graphentheorie derjenige Teil eines Graphen, der die Verbindung zwischen mindestens zwei Knoten herstellt.
Neu!!: Petri-Netz und Kante (Graphentheorie) · Mehr sehen »
Klasse (Objektorientierung)
Beispielklasse ''Mitarbeiter'' (oben) mit zwei Instanzen (unten rechts und links). Unter einer Klasse (auch Objekttyp genannt) versteht man in der objektorientierten Programmierung ein abstraktes Modell bzw.
Neu!!: Petri-Netz und Klasse (Objektorientierung) · Mehr sehen »
Knoten (Graphentheorie)
Darstellung der Knoten, Kanten und Maschen Knoten (oder Ecken) sind in der Graphentheorie derjenige Teil eines Graphen, der mit mindestens einer Kante verbunden ist.
Neu!!: Petri-Netz und Knoten (Graphentheorie) · Mehr sehen »
Komplexitätstheorie
Die Komplexitätstheorie als Teilgebiet der theoretischen Informatik befasst sich mit der Komplexität algorithmisch behandelbarer Probleme auf verschiedenen formalen Rechnermodellen.
Neu!!: Petri-Netz und Komplexitätstheorie · Mehr sehen »
Lecture Notes in Computer Science
Lecture Notes in Computer Science (LNCS) ist eine Buchreihe aus der Informatik, die seit 1973 von Springer Science+Business Media (vormals Springer-Verlag) herausgegeben wird.
Neu!!: Petri-Netz und Lecture Notes in Computer Science · Mehr sehen »
Massachusetts Institute of Technology
Das Massachusetts Institute of Technology (MIT) ist eine Technische Hochschule und Universität in Cambridge im US-Bundesstaat Massachusetts.
Neu!!: Petri-Netz und Massachusetts Institute of Technology · Mehr sehen »
MIT Computer Science and Artificial Intelligence Laboratory
Das MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) des Massachusetts Institute of Technology ist ein Forschungslabor für Informatik, das 2003 aus dem Zusammenschluss des Laboratory for Computer Science und des Artificial Intelligence Lab entstand.
Neu!!: Petri-Netz und MIT Computer Science and Artificial Intelligence Laboratory · Mehr sehen »
Modell (Wissenschaft)
Kugel-Stab-Modell) des Benzol-Moleküls („Benzolring“) Unter einem Modell versteht man in Wissenschaft und Philosophie eine Abbildung oder Repräsentation eines Objektes, eines Verhaltens oder eines Systems, das man verstehen möchte.
Neu!!: Petri-Netz und Modell (Wissenschaft) · Mehr sehen »
Nebenläufigkeit
Beim Philosophenproblem (engl. ''Dining Philosophers Problem'') handelt es sich um ein Fallbeispiel aus dem Bereich der Theoretischen Informatik. Die Nebenläufigkeit, mitunter auch Parallelität genannt, ist in der Informatik die Eigenschaft eines Systems, mehrere Aufgaben, Berechnungen, Anweisungen oder Befehle gleichzeitig ausführen zu können.
Neu!!: Petri-Netz und Nebenläufigkeit · Mehr sehen »
Netze in Netzen (Petrinetze)
Netze in Netzen sind ein Modellierungsansatz aus der Petri-Netz-Familie.
Neu!!: Petri-Netz und Netze in Netzen (Petrinetze) · Mehr sehen »
Objektorientierung
Unter Objektorientierung (kurz OO) versteht man in der Entwicklung von Software eine Sichtweise auf komplexe Systeme, bei der ein System durch das Zusammenspiel kooperierender Objekte beschrieben wird.
Neu!!: Petri-Netz und Objektorientierung · Mehr sehen »
Operationelle Semantik
Die operationelle Semantik ist eine Technik der Informatik um die Bedeutung beziehungsweise die Semantik von Computerprogrammen zu beschreiben.
Neu!!: Petri-Netz und Operationelle Semantik · Mehr sehen »
Paralleler Algorithmus
Ein paralleler Algorithmus ist ein Algorithmus, welcher zum Beispiel ein Problem der Komplexitätsklasse NC (Nick’s Class nach Nick Pippenger) in polynomieller Zeit lösen bzw.
Neu!!: Petri-Netz und Paralleler Algorithmus · Mehr sehen »
Prädikat (Logik)
Prädikat (von) nennt man in der modernen Prädikatenlogik den Teil einer atomaren Aussage, der wahrheitsfunktional ist.
Neu!!: Petri-Netz und Prädikat (Logik) · Mehr sehen »
Proceedings of the IEEE
Proceedings of the IEEE ist eine monatlich erscheinende begutachtete wissenschaftliche Fachzeitschrift, die vom Institute of Electrical and Electronics Engineers (IEEE) herausgegeben wird.
Neu!!: Petri-Netz und Proceedings of the IEEE · Mehr sehen »
Softwaredesign
Softwaredesign (auch Softwarekonstruktion) ist der Konstruktionsprozess zur Implementierung einer Software-Lösung.
Neu!!: Petri-Netz und Softwaredesign · Mehr sehen »
Stoffstromnetz
Stoffstromnetze sind ein spezieller Modellansatz zur Abbildung von Stoffstromsystemen im Rahmen einer Stoffstromanalyse (Stoffstrommanagement).
Neu!!: Petri-Netz und Stoffstromnetz · Mehr sehen »
Theoretische Informatik
Mind-Map zu einem Teilbereich der theoretischen Informatik Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen.
Neu!!: Petri-Netz und Theoretische Informatik · Mehr sehen »
Transitionssystem
Ein Transitionssystem (englisch transition system) beschreibt in der Automatentheorie die möglichen Zustände eines zustandsbasierten Systems und die möglichen Übergänge (Transitionen) zwischen diesen Zuständen.
Neu!!: Petri-Netz und Transitionssystem · Mehr sehen »
Unified Modeling Language
Die Unified Modeling Language (vereinheitlichte Modellierungssprache), kurz UML, ist eine grafische Modellierungssprache zur Spezifikation, Konstruktion, Dokumentation und Visualisierung von Software-Teilen und anderen Systemen.
Neu!!: Petri-Netz und Unified Modeling Language · Mehr sehen »
Verifizierung
Verifizierung oder Verifikation (von und facere ‚machen‘) ist der Nachweis, dass ein vermuteter oder behaupteter Sachverhalt wahr ist.
Neu!!: Petri-Netz und Verifizierung · Mehr sehen »
Verteiltes System
Ein verteiltes System ist nach der Definition von Andrew S. Tanenbaum ein Zusammenschluss unabhängiger Computer, die sich für den Benutzer als ein einziges System präsentieren.
Neu!!: Petri-Netz und Verteiltes System · Mehr sehen »
Warteschlangen-Petri-Netz
Ein Warteschlangen-Petri-Netz (engl. Queueing Petri Net (QPN)) ist ein Modellierungsformalismus, der Warteschlangennetzwerk und Petri-Netz miteinander kombiniert.
Neu!!: Petri-Netz und Warteschlangen-Petri-Netz · Mehr sehen »
Wil van der Aalst
Wil van der Aalst, 2016 Willibrordus Martinus Pancratius „Wil“ van der Aalst (* 29. Januar 1966 in Eersel) ist ein niederländischer Informatiker, der sich mit Prozessmanagement befasst.
Neu!!: Petri-Netz und Wil van der Aalst · Mehr sehen »
Workflow-Management
Workflow-Management (WflM) ist die informationstechnische Unterstützung oder (teilweise) Automatisierung von Arbeitsabläufen (engl. workflows), die sich jeweils auf Teile eines Geschäftsprozesses oder andere organisatorische Vorgänge beziehen.
Neu!!: Petri-Netz und Workflow-Management · Mehr sehen »
Zustandsraum (Informatik)
In der theoretischen Informatik ist ein Zustandsraum eine Beschreibung von diskreten Zuständen, um sie als einfaches Modell von Maschinen zu verwenden (z. B. Endliche Automaten) (nicht zu verwechseln mit dem Zustandsraum (Neuronales Netz) in der Neuroinformatik).
Neu!!: Petri-Netz und Zustandsraum (Informatik) · Mehr sehen »
