@inproceedings{
    HelKhoKou:TACAS2002,
    editor = "Katoen, Joost-Pieter and Stevens, Perdita",
    author = "Heljanko, Keijo and Khomenko, Victor and Koutny, Maciej",
    publisher = "Springer-Verlag",
    title = "Parallelisation of the {Petri} Net Unfolding Algorithm",
    url = "http://users.ics.tkk.fi/kepa/publications/",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2002)",
    year = "2002",
    abstract = "In this paper, we first present theoretical results, helping to understand the unfolding algorithm presented in [6,7]. We then propose a modification of this algorithm, which can be efficiently parallelised and admits a more efficient implementation. Our experiments demonstrate that the degree of parallelism is usually quite high and resulting algorithms potentially can achieve significant speedup comparing with the sequential case.",
    month = "April",
    volume = "2280",
    juforank = "1",
    flags = "SA-LO-00-02 SA-53695",
    address = "Grenoble, France",
    keywords = "model checking, Petri nets, parallel algorithm, unfolding, causality, concurrency",
    pages = "371--385"
}