Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis

    Tutkimustuotos: TyöpaperiWorking paperProfessional

    AlkuperäiskieliEnglanti
    JulkaisupaikkaEspoo
    TilaJulkaistu - 1999
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Julkaisusarja

    NimiHUT Laboratory for Theoretical Computer Science Research Reports
    KustantajaTKK
    NumeroHUT-TCS-A57

    Tutkimusalat

    • algebraic system nets
    • Petri nets
    • reachability analysis
    • symmetry

    Siteeraa tätä