New Canonical Representative Marking Algorithms for Place/Transition-nets

    Tutkimustuotos: TyöpaperiWorking paperProfessional

    6 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    JulkaisupaikkaEspoo
    TilaJulkaistu - 2002
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Julkaisusarja

    NimiTCS Research Reports
    KustantajaHelsinki University of Technology
    NumeroHUT-TCS-A75

    Tutkimusalat

    • Place/Transition-nets
    • reachability analysis
    • symmetry

    Siteeraa tätä