NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 4 of 4 for “"Petrinetze"”.

  1. Generische Implementierung und Programmierung paralleler Kommunikations-Controller auf Basis dynamischer Petrinetze

    Engel, ChristianShaker1995

    aachen Repository record

  2. COMDES: Simulations- undVerifikationstechiken für den Hardware Entwurf auf Systemebene

    Pargmann, HergenUniversität Oldenburg

    … Technologien dar. Basierend auf dem Kalkül der Petrinetze werden explizite und symbolische Simulations- und Verifikationsszenarien vorgestellt. Die Anwendung der symbolischen Verifikationskomponente von COMDES auf industrielle, VHDL und StateChart basierte Designszenarien, stellt deren …

    oldenburg Repository record

  3. Formal Specification and Rule-Based Refinement of Software Components

    Padberg, Julia2006

    … wie algebraische Spezifikationen, Automaten, Petrinetze und Graphtransformationssysteme. Petrinetztransformationen und Petrinetzmodule werden tiefergehend untersucht, um darzustellen, dass diese Konzepte, die aus der Datentypspezifikation stammen, auch für Prozessspezifikationen geeignet sind. …

    tu-berlin Repository record

  4. Evolutionäre Verfahren zur Optimierung von Produktionsplänen mittels implizierter Kooperation

    Boll, HelmutPublikationsserver der RWTH Aachen University2003

    This work describes a new approach to cooperative production planning and control using genetic algorithm and timed hierachical object-related Petri Nets. Every planning problem is decomposed into subproblems like scheduling, lotsizing etc. Each subproblem is solved independently of the other …

    aachen Repository record