Parallelisation of the Petri Net Unfolding Algorithm

Keijo Heljanko, Victor Khomenko, Maciej Koutny

    Tutkimustuotos: TyöpaperiWorking paperProfessional

    22 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    JulkaisupaikkaNewcastle upon Tyne, UK
    Sivut14
    TilaJulkaistu - 2001
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Julkaisusarja

    NimiDepartment of Computing Science, University of Newcastle upon Tyne, Technical Reports
    KustantajaDepartment of Computing Science, University of Newcastle upon Tyne
    NumeroCS-TR-733

    Tutkimusalat

    • causality
    • concurrency
    • model checking
    • parallel algorithm
    • Petri nets
    • unfolding

    Siteeraa tätä