LIBROS DEL AUTOR: jorg desel

5 resultados para LIBROS DEL AUTOR: jorg desel

jorg desel Eliminar filtro Quitar filtros
  • Free Choice Petri Nets
    Javier Esparza / Jorg Desel
    ...
    Disponible

    61,55 €

  • Das ist Informatik
    Jörg Desel
    'Informatik' 'Informatik' steht steht rur fiir das das wissenschaftliche wissenschaftliche Gebiet, Gebiet, in in dem dem es es um um die die Entwick­ Entwick­ lung lung und und den den Einsatz Einsatz von von Rechnern, Rechnern, insbesondere insbesondere als als Komponenten Komponenten technischer technischer Geräte Geräte und und oft oft komplexer ko...
    Disponible

    39,78 €

  • Petrinetze, lineare Algebra und lineare Programmierung
    Jörg Desel
    Der Titel dieser Arbeit ist bereits ei ne kurze Inhaltsangabe. Es geht darum, die Matrixrepräsentation von Petrinetzen in Gleichungs- und Ungleichungs­ systemen auszunutzen, urn Aussagen über das Verhalten eines Netzmodells gewinnen oder beweisen zu können. Die Motivation für die Verwendung linear-algebraischer Verfahren liegt in der Komplexität des V...
    Disponible

    60,84 €

  • Structures in Concurrency Theory
    Jörg Desel
    This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited contributions - by J. de Bakker, E. Best et aI, and E. R. Olderog and M. Schenke - and all papers which were submitted and accepted for presentation. Concurrency Theory deals wit...
    Disponible

    65,93 €

  • Struktur und Analyse von Free-Choice-Petrinetzen
    Jörg Desel
    Die statische Struktur eines markierten Petrinetzes ist durch das Netz selbst und die anfangliche Verteilung der Marken gegeben. Sein Verhalten wird durch die Menge seiner Ablaufe oder durch seinen Erreichbarkeitsgraphen beschrie­ ben. Struktur und Verhalten hiingen eng zusammenj so lassen sich dynamische Systemeigenschaften oft mit Hilfe strukturelle...
    Disponible

    72,79 €