Auflistung nach:
Auflistung Band 37 - Heft 3 (Juni 2014) nach Titel
1 - 10 von 15
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelDie Vorstandsperspektive: Braucht die Informatik einen Verein?(Informatik-Spektrum: Vol. 37, No. 3, 2014) Oberweis, Andreas
- ZeitschriftenartikelExplizites Model Checking: Welche Vorteile bieten Petrinetze?(Informatik-Spektrum: Vol. 37, No. 3, 2014) Wolf, KarstenPetrinetze wurden vorgeschlagen, um Schwächen klassischer Automatenmodelle zu beheben. Explizites Model Checking übersetzt jedoch zunächst ein Petrinetz in einen klassischen Automaten. Damit gibt man zunächst die Vorteile von Petrinetzen scheinbar wieder auf. Wir zeigen jedoch, dass die wichtigsten Techniken des expliziten Model Checking besonders effizient sind, wenn sie grundlegende Prinzipien von Petrinetzen berücksichtigen. Dieser Beitrag beschreibt Resultate, die auf praktischen Erfahrungen mit einem petrinetzbasierten Werkzeug zum expliziten Model Checking beruhen.
- ZeitschriftenartikelGeschäftsprozessmodellierung: Die ,,Killer-Applikation“ für Petrinetze(Informatik-Spektrum: Vol. 37, No. 3, 2014) van der Aalst, W.M.P.Seit ihrem Entwurf im Jahr 1962 sind Petrinetze in ganz unterschiedlichen Bereichen eingesetzt worden. Obwohl sie graphisch dargestellt werden und intuitiv einfach verständlich sind, haben Petrinetze eine formal eindeutige Semantik mit einer Vielzahl mathematischer Analysetechniken. Sie reichen vom Model Checking und der Strukturellen Analyse über das Process Mining bis zur Performanz-Analyse.Im Lauf der Zeit haben Petrinetze solide Grundlagen für die Forschung zum Geschäftsprozess-Management (BPM) beigetragen. Sie umfassen Methoden, Techniken und Werkzeuge um Geschäftsprozesse zu entwerfen, implementieren, verwalten und zu analysieren. Die etablierten Modellierungsmethoden und Workflow-Managementsysteme verwenden Token-basierte, von Petrinetzen entlehnte Beschreibungen. Nutzer moderner BPM-Analysetechniken wissen oft gar nicht, dass ihre Geschäfts- prozesse intern als Petrinetze repräsentiert werden.Dieser Beitrag zeigt die grundlegende Rolle von Petrinetzen im BPM.
- ZeitschriftenartikelKonzepte der Petrinetze(Informatik-Spektrum: Vol. 37, No. 3, 2014) Reisig, Wolfgang; Desel, Jörg
- ZeitschriftenartikelMedizinische Entscheidungsunterstützungssysteme(Informatik-Spektrum: Vol. 37, No. 3, 2014) Puppe, Frank
- ZeitschriftenartikelMitteilungen der Gesellschaft für Informatik 227. Folge(Informatik-Spektrum: Vol. 37, No. 3, 2014)
- ZeitschriftenartikelMitteilungen der Gesellschaft für Informatik 227. Folge (Fortsetzung)(Informatik-Spektrum: Vol. 37, No. 3, 2014)
- ZeitschriftenartikelMitteilungen der Schweizer Informatik Gesellschaft / 3_2014(Informatik-Spektrum: Vol. 37, No. 3, 2014)
- ZeitschriftenartikelNeue, einfache Algorithmen für Petrinetze(Informatik-Spektrum: Vol. 37, No. 3, 2014) Finkel, Alain; Leroux, JérômeWir zeigen, wie die Entscheidungsprobleme der Überdeckung, der Beschränktheit und der Erreichbarkeit mithilfe induktiver Invarianten einfacher lösbar sind als mit herkömmlichen Methoden.
- ZeitschriftenartikelNur Absagen – da soll Fachkräftemangel herrschen?(Informatik-Spektrum: Vol. 37, No. 3, 2014) Dueck, Gunter