Parallelisation of the Petri Net Unfolding Algorithm

Keijo Heljanko, Victor Khomenko, Maciej Koutny

    Research output: Working paperProfessional

    22 Citations (Scopus)
    Original languageEnglish
    Place of PublicationNewcastle upon Tyne, UK
    Pages14
    Publication statusPublished - 2001
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameDepartment of Computing Science, University of Newcastle upon Tyne, Technical Reports
    PublisherDepartment of Computing Science, University of Newcastle upon Tyne
    No.CS-TR-733

    Keywords

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

    Cite this