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 3 of 3 for “"Petri-Netz"”.

  1. Analyse und Synthese diskreter Steuerungen hybrider Systeme mit Petri-Netz-Zustandsraummodellen

    Müller, ChristianVDI-Verl2002

    aachen Repository record

  2. Slicing and reduction techniques for model checking Petri nets

    Rakow, AstridUniversität Oldenburg

    … Arbeit werden zwei Reduktionsansätze für Petri-Netze vorgestellt, Petri-Netz Slicing und Cutvertex Reduktionen. Beide Ansätze zielen darauf ab, der Zustandsraumexplosion beim Model Checken entgegenzuwirken. Dazu transformieren sie ein gegebenes Petri-Netz in ein kleineres Netz, so dass …

    oldenburg Repository record

  3. Systemkomponenten für Breitband-Universalnetze mit Dienstgütegarantie

    Schoenen, RainerShaker2001

    aachen Repository record