Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- ZeitschriftenartikelMedizinische Entscheidungsunterstützungssysteme(Informatik-Spektrum: Vol. 37, No. 3, 2014) Puppe, Frank
- ZeitschriftenartikelPetrinetze(Informatik-Spektrum: Vol. 37, No. 3, 2014) Desel, Jörg; Reisig, Wolfgang
- ZeitschriftenartikelDie Vorstandsperspektive: Braucht die Informatik einen Verein?(Informatik-Spektrum: Vol. 37, No. 3, 2014) Oberweis, Andreas
- ZeitschriftenartikelMitteilungen der Gesellschaft für Informatik 227. Folge (Fortsetzung)(Informatik-Spektrum: Vol. 37, No. 3, 2014)
- ZeitschriftenartikelPetri und wie er die Welt sah(Informatik-Spektrum: Vol. 37, No. 3, 2014) Smith, EinarDer Artikel enthält eine kurze Zusammenfassung und Erläuterung des wissenschaftlichen Werks Carl Adam Petris. Zum Verständnis werden nur elementare Grundkenntnisse der Netztheorie vorausgesetzt.
- 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.
- ZeitschriftenartikelPetrinetze in der Systembiologie(Informatik-Spektrum: Vol. 37, No. 3, 2014) Koch, InaDieser Artikel zeigt die Anwendung von Petrinetzen in der Systembiologie. Anhand eines biochemischen Beispiels werden Konzepte zur automatischen Dekomposition biochemischer Systeme eingeführt. Der Artikel fokussiert auf Konzepte, die unter Steady-State-Bedingungen gelten. Interessanterweise basieren all diese Konzepte auf minimalen, semi-positiven Transitions-Invarianten. Es wird beschrieben, welche neuen Definitionen für Netzwerkdekompositionen sich ableiten lassen und wie sie biologisch interpretiert werden können. Am Beispiel des Citratzyklus wird veranschaulicht, wie durch solch eine Analyse ein neuer Stoffwechselweg vorhergesagt werden konnte.
- ZeitschriftenartikelPetrinetze und die Steuerung Ereignisdiskreter Systeme(Informatik-Spektrum: Vol. 37, No. 3, 2014) Giua, Alessandro; Seatzu, CarlaSeit die Regelungstechnik auch Ereignisdiskrete Systeme (Discrete Event Systems) einbezieht, werden Petrinetze als theoretische Grundlage dieser Systeme verwendet und weiterentwickelt. In diesem Beitrag werden einige Gründe für diese Entwicklung angegeben und erläutert, also die Frage beantwortet, warum Petrinetze für die Modellierung Ereignisdiskreter Systeme besonders geeignet sind. Ein Schwerpunkt liegt dabei auf Fragestellungen, zu denen Petrinetze besonders wichtige und eindrucksvolle Beiträge geliefert haben.
- 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.
- ZeitschriftenartikelMitteilungen der Schweizer Informatik Gesellschaft / 3_2014(Informatik-Spektrum: Vol. 37, No. 3, 2014)