Parallelisation of the Petri Net Unfolding Algorithm.

K. Heljanko, V. Khomenko, M. Koutny

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    20 Citations (Scopus)
    Original languageEnglish
    Title of host publicationThe 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2002), Grenoble, France, April 2002
    EditorsJ.-P. Katoen, P. Stevens
    Place of PublicationBerlin, Germany
    Pages371-385
    Publication statusPublished - 2002
    MoE publication typeA4 Article in a conference publication

    Keywords

    • causality
    • concurrency
    • Model checking
    • parallel algorithms
    • Petri nets
    • unfolding

    Cite this